Knowledge Representation and Reasoning in the Design of Composite Systems
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
An Interval Logic for Real-Time System Specification
IEEE Transactions on Software Engineering
Agent-oriented software engineering: the state of the art
First international workshop, AOSE 2000 on Agent-oriented software engineering
Agents dealing with time and uncertainty
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Intelligent Agents: The Key Concepts
Proceedings of the 9th ECCAI-ACAI/EASSS 2001, AEMAS 2001, HoloMAS 2001 on Multi-Agent-Systems and Applications II-Selected Revised Papers
A Tableau Method for Interval Temporal Logic with Projection
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Bounded Model Search in Linear Temporal Logic and Its Application to Planning
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Computing Environment-Aware Agent Behaviours with Logic Program Updates
LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation
A Constraint-Based Framework for Prototyping Distributed Virtual Applications
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
First Order Linear Temporal Logic over Finite Time Structures
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
A fixpoint semantics and an SLD-resolution calculus for modal logic programs
Fundamenta Informaticae
Logic-based specification languages for intelligent software agents
Theory and Practice of Logic Programming
A framed temporal logic programming language
Journal of Computer Science and Technology
Heterogeneous temporal probabilistic agents
ACM Transactions on Computational Logic (TOCL)
Framed temporal logic programming
Science of Computer Programming
Evolving Logic Programming Based Agents with Temporal Operators
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Contracts Violation: Justification via Argumentation
Computational Logic in Multi-Agent Systems
Expert Systems with Applications: An International Journal
Evolving logic programs with temporal operators
Logic programming, knowledge representation, and nonmonotonic reasoning
Temporal representation and reasoning in artificial intelligence: A review
Mathematical and Computer Modelling: An International Journal
A Fixpoint Semantics and an SLD-Resolution Calculus for Modal Logic Programs
Fundamenta Informaticae
Logical foundations for more expressive declarative temporal logic programming languages
ACM Transactions on Computational Logic (TOCL)
Linear time-dependent constraints programming with MSVL
Journal of Combinatorial Optimization
| Hi-index | 0.00 |