Dynamic logic for reasoning about actions and agents
Logic-based artificial intelligence
Defeasible Logic on an Embedded Microcontroller
Applied Intelligence
Non-situation Calculus and Database Systems
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
A Truly Concurrent Model for Interacting Agents
PRIMA 2001 Proceedings of the 4th Pacific Rim International Workshop on Multi-Agents, Intelligent Agents: Specification, Modeling, and Applications
A Semantics for Persistency in Propositional Dynamic Logic
CL '00 Proceedings of the First International Conference on Computational Logic
Logic prespective on data and knowledge
Handbook of data mining and knowledge discovery
Representing a robotic domain using temporal description logics
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Rational Teams: Logical Aspects of Multi-Agent Systems
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
A temporal description logic for reasoning about actions and plans
Journal of Artificial Intelligence Research
Causal reasoning for alert generation in smart homes
Designing Smart Homes
Rational Teams: Logical Aspects of Multi-Agent Systems
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
| Hi-index | 0.00 |