Constraint-Based Reasoning
"The Crossword puzzle (CP) is a simple problem to illustrate the formalization process of a problem into a CSP. The problem is to place words of a dictionary in a given structure satisfying certain constraints. The variables are the rows and columns in the crossword, and their values are the words in a dictionary."
– Marc Torrens. An Application using the JCL: The Air Travel Planning System. Diploma Thesis, 1997, Chapter 1, Section 1.2.1.
Country:
- North America > United States > California (0.14)
- North America > United States > Oregon (0.04)
- North America > United States > New York (0.04)
- (2 more...)
Genre:
- Research Report > Experimental Study (0.93)
- Research Report > Strength High (0.68)
Industry:
- Law (1.00)
- Health & Medicine > Consumer Health (0.67)
- Health & Medicine > Government Relations & Public Policy (0.46)
Technology:
- Information Technology > Artificial Intelligence > Machine Learning (1.00)
- Information Technology > Data Science > Data Mining (0.92)
- Information Technology > Artificial Intelligence > Representation & Reasoning > Constraint-Based Reasoning (0.67)
- Information Technology > Artificial Intelligence > Representation & Reasoning > Optimization (0.46)
Country:
- North America > United States > Massachusetts > Middlesex County > Cambridge (0.04)
- North America > United States > Texas > Harris County > Houston (0.04)
- Europe > Netherlands > South Holland > Delft (0.04)
Genre:
- Research Report > Experimental Study (0.93)
- Research Report > New Finding (0.67)
Country:
- Asia > China > Beijing > Beijing (0.04)
- North America > United States > Massachusetts > Hampshire County > Amherst (0.04)
- Asia > Middle East > Jordan (0.04)
Genre:
- Research Report > Experimental Study (0.93)
- Research Report > New Finding (0.67)
Industry:
- Leisure & Entertainment (0.67)
- Education (0.67)
- Information Technology (0.46)
Technology:
GLinSA T: The General Linear Satisfiability Neural Network Layer By Accelerated Gradient Descent
Neural Information Processing Systems
Constrained decision-making problems are pervasive across various disciplines.
Genre:
- Research Report > Experimental Study (0.93)
- Research Report > New Finding (0.67)
Industry:
- Information Technology > Security & Privacy (0.67)
- Energy > Power Industry (0.45)
Technology:
- Information Technology > Artificial Intelligence > Representation & Reasoning > Optimization (1.00)
- Information Technology > Artificial Intelligence > Representation & Reasoning > Constraint-Based Reasoning (1.00)
- Information Technology > Artificial Intelligence > Machine Learning > Neural Networks (1.00)
- Information Technology > Artificial Intelligence > Machine Learning > Statistical Learning > Gradient Descent (0.41)
Autoregressive Policy Optimization for Constrained Allocation Tasks
Neural Information Processing Systems
Continuous allocation tasks are a class of problems where an agent needs to distribute a limited amount of resources over a set of entities at each time step.
Country:
- Europe > Germany > Bavaria > Upper Bavaria > Munich (0.04)
- Europe > Poland > Lesser Poland Province > Krakรณw (0.04)
- Asia > Middle East > Jordan (0.04)
Industry:
- Banking & Finance (0.93)
- Information Technology > Services (0.68)
Technology:
- Information Technology > Artificial Intelligence > Representation & Reasoning > Constraint-Based Reasoning (1.00)
- Information Technology > Artificial Intelligence > Machine Learning > Neural Networks (1.00)
- Information Technology > Artificial Intelligence > Machine Learning > Learning Graphical Models > Undirected Networks > Markov Models (0.46)
Iterative Reachability Estimation for Safe Reinforcement Learning
Neural Information Processing Systems
We theoretically establish that our algorithms almost surely converge to locally optimal policies of our safe optimization framework.
Country:
- North America > United States > California > San Diego County > San Diego (0.04)
- North America > United States > Massachusetts > Middlesex County > Cambridge (0.04)
Technology:
- Information Technology > Artificial Intelligence > Robots (1.00)
- Information Technology > Artificial Intelligence > Representation & Reasoning > Optimization (1.00)
- Information Technology > Artificial Intelligence > Representation & Reasoning > Constraint-Based Reasoning (1.00)
- (2 more...)
Country:
- North America > United States > California > Los Angeles County > Los Angeles (0.14)
- Europe > Switzerland > Zรผrich > Zรผrich (0.04)
- North America > United States > North Carolina > Durham County > Durham (0.04)
- (9 more...)
Technology:
- Information Technology > Security & Privacy (1.00)
- Information Technology > Artificial Intelligence > Machine Learning > Statistical Learning (1.00)
- Information Technology > Data Science (0.93)
- Information Technology > Artificial Intelligence > Representation & Reasoning > Constraint-Based Reasoning (0.92)
Country:
- North America > United States > California > Santa Clara County > Palo Alto (0.04)
- North America > United States > New York > New York County > New York City (0.04)
- Asia > Japan (0.04)
- (3 more...)
Genre:
- Research Report > Experimental Study (0.93)
- Research Report > New Finding (0.67)
Technology:
- Information Technology > Artificial Intelligence > Vision (1.00)
- Information Technology > Artificial Intelligence > Natural Language (1.00)
- Information Technology > Artificial Intelligence > Machine Learning > Neural Networks (1.00)
- Information Technology > Artificial Intelligence > Representation & Reasoning > Constraint-Based Reasoning (0.93)
Country:
- Asia > Singapore (0.04)
- Europe > Netherlands > North Brabant > Eindhoven (0.04)
Technology:
- Information Technology > Artificial Intelligence > Representation & Reasoning > Search (1.00)
- Information Technology > Artificial Intelligence > Natural Language (0.93)
- Information Technology > Artificial Intelligence > Representation & Reasoning > Constraint-Based Reasoning (0.68)
- (2 more...)
Genre:
- Research Report > New Finding (1.00)
- Research Report > Experimental Study (1.00)
Industry:
- Information Technology (0.46)
- Health & Medicine (0.46)
Technology: