Event calculus and temporal action logics compared
Artificial Intelligence
Using the event calculus to reason about problem diagrams
Proceedings of the 3rd international workshop on Applications and advances of problem frames
Is an OWL ontology adequate for foreign software agents communication?
Applied Ontology - Formal Ontologies for Communicating Agents
A Theory of Action, Knowledge and Time in the Event Calculus
SETN '08 Proceedings of the 5th Hellenic conference on Artificial Intelligence: Theories, Models and Applications
Automating commonsense reasoning using the event calculus
Communications of the ACM - Rural engineering development
Software Engineering for Ensembles
Software-Intensive Systems and New Computing Paradigms
An interface for targeted collection of common sense knowledge using a mixture model
Proceedings of the 14th international conference on Intelligent user interfaces
Proceedings of the 2008 conference on Information Modelling and Knowledge Bases XIX
Proceedings of the 2008 conference on Artificial General Intelligence 2008: Proceedings of the First AGI Conference
Early Identification of Problem Interactions: A Tool-Supported Approach
REFSQ '09 Proceedings of the 15th International Working Conference on Requirements Engineering: Foundation for Software Quality
Specifying Open Agent Systems: A Survey
Engineering Societies in the Agents World IX
International Journal of Metadata, Semantics and Ontologies
A modular action description language
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Position Paper: Toward extended fuzzy logic---A first step
Fuzzy Sets and Systems
How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASP
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
System f2lp --- Computing Answer Sets of First-Order Formulas
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Modeling and learning vague event durations for temporal reasoning
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Event calculus and temporal action logics compared
Artificial Intelligence
Circumscriptive event calculus as answer set programming
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Reasoning with knowledge, action and time in dynamic and uncertain domains
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
What's in a feature: a requirements engineering perspective
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
A declarative agent programming language based on action theories
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Logic-based representation, reasoning and machine learning for event recognition
Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems
A qualitative agent-based approach to power quality monitoring and diagnosis
Integrated Computer-Aided Engineering - Multi-Agent Systems for Energy Management
Dynamic authorisation policies for event-based task delegation
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
A common-sense planning strategy for ambient intelligence
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part II
Modular-E and the role of elaboration tolerance in solving the qualification problem
Artificial Intelligence
Synthesizing a specification-based monitor for safety requirements
Iranian Journal of Science and Technology, Transaction B: Engineering
Estimating performance of a business process model
Winter Simulation Conference
Elaborating a knowledge base for deep lexical semantics
IWCS '11 Proceedings of the Ninth International Conference on Computational Semantics
Initial steps towards run-time support for norm-governed systems
COIN@AAMAS'10 Proceedings of the 6th international conference on Coordination, organizations, institutions, and norms in agent systems
A mechanism for discovering semantic relationships among agent communication protocols
Autonomous Agents and Multi-Agent Systems
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
Is an OWL ontology adequate for foreign software agents communication?
Applied Ontology - Formal Ontologies for Communicating Agents
A language for default reasoning about actions
Correct Reasoning
Working with events and states in PENG light
CNL'10 Proceedings of the Second international conference on Controlled Natural Language
Rough Set Based Reasoning About Changes
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Journal of Artificial Intelligence Research
Modeling social causality and responsibility judgment in multi-agent interactions
Journal of Artificial Intelligence Research
A production rule-based framework for causal and epistemic reasoning
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
Processing incomplete temporal information in controlled natural language
PRICAI'12 Proceedings of the 12th Pacific Rim international conference on Trends in Artificial Intelligence
Representing and monitoring social commitments using the event calculus
Autonomous Agents and Multi-Agent Systems
A Runtime Goal Conflict Resolution Model for Agent Systems
WI-IAT '12 Proceedings of the The 2012 IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technology - Volume 02
Specifying software features for composition: A tool-supported approach
Computer Networks: The International Journal of Computer and Telecommunications Networking
Hi-index | 0.00 |