A logic-based calculus of events
New Generation Computing
A deductive solution for plan generation
New Generation Computing
Constraint satisfaction in logic programming
Constraint satisfaction in logic programming
A new deductive approach to planning
New Generation Computing
A simple solution to the Yale shooting problem
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Artificial intelligence and mathematical theory of computation
Artificial Intelligence
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Solving the frame problem: a mathematical investigation of the common sense law of inertia
On knowledge-based programming with sensing in the situation calculus
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
The Qualification Problem: A solution to the problem of anomalous models
Artificial Intelligence
Addressing the Qualification Problem in FLUX
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Knowledge, action, and the frame problem
Artificial Intelligence
Intelligent execution monitoring in dynamic environments
Fundamenta Informaticae
Intelligent execution monitoring in dynamic environments
Fundamenta Informaticae
Programming multi-agent systems
The Knowledge Engineering Review
Deductive planning with temporal constraints using TAL
PCAR '06 Proceedings of the 2006 international symposium on Practical cognitive agents and robots
An ASP-based approach to dealing with agent perception failure
AI Communications
A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution
Fundamenta Informaticae
Integrating Action Calculi and Description Logics
KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
Options in Readylog Reloaded --- Generating Decision-Theoretic Plan Libraries in Golog
KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
Logic-based robot control in highly dynamic domains
Robotics and Autonomous Systems
Towards automated web service composition with fluent calculus and domain ontologies
Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services
Encoding of Planning Problems and Their Optimizations in Linear Logic
Applications of Declarative Programming and Knowledge Management
Reconciling situation calculus and fluent calculus
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Bridging the Gap between High-Level Reasoning and Low-Level Control
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Progression of situation calculus action theories with incomplete information
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Actions Over a Constructive Semantics for Description Logics
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
A unified semantics for constraint handling rules in transaction logic
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Multi-agent FLUX for the gold mining domain (system description)
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
The construction of multi-agent systems as an engineering discipline
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
An agent team based on FLUX for the ProMAS contest 2007
ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
Putting abox updates into action
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
A declarative agent programming language based on action theories
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Web service composition using fluent calculus
International Journal of Metadata, Semantics and Ontologies
Verifying Properties of Infinite Sequences of Description Logic Actions
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Applying fluent calculus for automated and dynamic semantic web service composition
Proceedings of the 1st International Conference on Intelligent Semantic Web-Services and Applications
An agent language with destructive assignment and model-theoretic semantics
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
Artificial Intelligence
Artificial Intelligence
Artificial Intelligence
ProMAS'09 Proceedings of the 7th international conference on Programming multi-agent systems
Specialization and validation of statecharts in OWL
EKAW'10 Proceedings of the 17th international conference on Knowledge engineering and management by the masses
Declarative programming for agent applications
Autonomous Agents and Multi-Agent Systems
AI planning-based semantic web service composition
International Journal of Innovative Computing and Applications
Abductive logic programming agents with destructive databases
Annals of Mathematics and Artificial Intelligence
Reasoning about actions using description logics with general TBoxes
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Strategy learning for reasoning agents
ECML'05 Proceedings of the 16th European conference on Machine Learning
Actions Over a Constructive Semantics for Description Logics
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution
Fundamenta Informaticae
Intelligent Execution Monitoring in Dynamic Environments
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
A parallel fipa architecture based on GPU for games and real time simulations
ICEC'12 Proceedings of the 11th international conference on Entertainment Computing
Evaluating scala, actors, & ontologies for intelligent realtime interactive systems
Proceedings of the 18th ACM symposium on Virtual reality software and technology
Proof Systems for Planning Under Cautious Semantics
Minds and Machines
Integrated task and motion planning in belief space
International Journal of Robotics Research
Hi-index | 0.00 |
FLUX is a programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledge. The core of FLUX is a system of Constraint Handling Rules, which enables agents to maintain an internal model of their environment by which they control their own behavior. The general action representation formalism of the fluent calculus provides the formal semantics for the constraint solver. FLUX exhibits excellent computational behavior due to both a carefully restricted expressiveness and the inference paradigm of progression.