Introduction to logic-based artificial intelligence
Logic-based artificial intelligence
Probabilistic Situation Calculus
Annals of Mathematics and Artificial Intelligence
Sentience in Robots: Applications and Challenges
IEEE Intelligent Systems
On Partially Observable MDPs and BDI Models
Selected papers from the UKMAS Workshop on Foundations and Applications of Multi-Agent Systems
Plan-Based Control for Autonomous Soccer Robots (Preliminary Report)
Revised Papers from the International Seminar on Advances in Plan-Based Control of Robotic Agents,
Belief Update in the pGOLOG Framework
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Revisiting Asimov's First Law: A Response to the Call to Arms
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
State abstraction for programmable reinforcement learning agents
Eighteenth national conference on Artificial intelligence
Probabilistic complex actions in GOLOG
Fundamenta Informaticae
Logic-based subsumption architecture
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Representing von Neumann–Morgenstern Games in the Situation Calculus
Annals of Mathematics and Artificial Intelligence
Planning and programming with first-order markov decision processes: insights and challenges
TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
IEEE Intelligent Systems
Game theoretic Golog under partial observability
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Information Systems - Special issue: The 15th international conference on advanced information systems engineering (CAiSE 2003)
Heterogeneous temporal probabilistic agents
ACM Transactions on Computational Logic (TOCL)
PCAR '06 Proceedings of the 2006 international symposium on Practical cognitive agents and robots
Learning how to combine sensory-motor functions into a robust behavior
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
Repairing Decision-Theoretic Policies Using Goal-Oriented Planning
KI '08 Proceedings of the 31st annual German conference on Advances in Artificial Intelligence
Logic-based robot control in highly dynamic domains
Robotics and Autonomous Systems
Reasoning about actions with sensing under qualitative and probabilistic uncertainty
ACM Transactions on Computational Logic (TOCL)
Practical solution techniques for first-order MDPs
Artificial Intelligence
Adaptive Multi-Agent Programming in GTGolog
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Decision making in large-scale domains: a case study
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Robot learning language - Integrating programming and learning for cognitive systems
Robotics and Autonomous Systems
Adding time and intervals to procedural and hierarchical control specifications
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
ESP: a logic of only-knowing, noisy sensing and acting
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Hybrid BDI-POMDP framework for multiagent teaming
Journal of Artificial Intelligence Research
Probabilistic hybrid action models for predicting concurrent percept-driven robot behavior
Journal of Artificial Intelligence Research
Team programming in Golog under partial observability
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Extending DTGOLOG with options
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Symbolic dynamic programming for first-order MDPs
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
IBAL: a probabilistic rational programming language
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Combining probabilities, failures and safety in robot control
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 2
An argumentation-based interpreter for Golog programs
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Information Systems - Special issue: The 15th international conference on advanced information systems engineering (CAiSE 2003)
A stochastic model for intrusions
RAID'02 Proceedings of the 5th international conference on Recent advances in intrusion detection
Game-theoretic agent programming in Golog under partial observability
KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
Adaptive multi-agent programming in GTGolog
KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
Deliberation in a modeling and simulation environment for inter-organizational networks
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Plan-based control of robotic agents: improving the capabilities of autonomous robots
Plan-based control of robotic agents: improving the capabilities of autonomous robots
Modules as policy-based intentions: modular agent programming in GOAL
ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
Improving the performance of complex agent plans through reinforcement learning
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
The Situation Calculus: A Case for Modal Logic
Journal of Logic, Language and Information
A description logic based situation calculus
Annals of Mathematics and Artificial Intelligence
On the way to high-level programming for resource-limited embedded systems with Golog
SIMPAR'10 Proceedings of the Second international conference on Simulation, modeling, and programming for autonomous robots
LearnPNP: a tool for learning agent behaviors
RoboCup 2010
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Game-theoretic reasoning about actions in nonmonotonic causal theories
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Structure-based causes and explanations in the independent choice logic
UAI'03 Proceedings of the Nineteenth conference on Uncertainty in Artificial Intelligence
Reasoning with Qualitative Positional Information for Domestic Domains in the Situation Calculus
Journal of Intelligent and Robotic Systems
Intention recognition in the situation calculus and probability theory frameworks
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Fuzzy representations and control for domestic service robots in golog
ICIRA'11 Proceedings of the 4th international conference on Intelligent Robotics and Applications - Volume Part II
From an agent logic to an agent programming language for partially observable stochastic domains
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Probabilistic Complex Actions in GOLOG
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
Caesar: an intelligent domestic service robot
Intelligent Service Robotics
Plan recognition by program execution in continuous temporal domains
KI'12 Proceedings of the 35th Annual German conference on Advances in Artificial Intelligence
Reasoning about continuous uncertainty in the situation calculus
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
A formal account of nondeterministic and failed actions
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |