ICAIL '87 Proceedings of the 1st international conference on Artificial intelligence and law
SAIRVO: a temporal planning system
IEA/AIE '89 Proceedings of the 2nd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
Deep models, normative reasoning and legal expert systems
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
A language for legal Discourse I. basic features
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
Using temporal hierarchies to efficiently maintain large temporal databases
Journal of the ACM (JACM)
One the design and implementation of information systems from deductive conceptual models
VLDB '89 Proceedings of the 15th international conference on Very large data bases
RSF: A Formalism for Executable Requirement Specifications
IEEE Transactions on Software Engineering
A cognitive temporal model for the planning in aircraft maintenance
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
The event calculus and consistency maintenance
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
Model instantiation for query driven simulation in active KDL
ANSS '90 Proceedings of the 23rd annual symposium on Simulation
Separating world and regulation knowledge: where is the logic
ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
On the role of prototypes in appellate legal argument (abstract)
ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
A propositional modal logic of time intervals
Journal of the ACM (JACM)
Querying of Executable Software Specifications
IEEE Transactions on Software Engineering
Automatic deduction of temporal information
ACM Transactions on Database Systems (TODS)
DAC '93 Proceedings of the 30th international Design Automation Conference
Hyperdocuments as automata: trace-based browsing property verification
ECHT '92 Proceedings of the ACM conference on Hypertext
A logic-based foundation of discrete event modeling and simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
The systematization of legal meta-inference
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
Hyperdocuments as automata: verification of trace-based browsing properties by model checking
ACM Transactions on Information Systems (TOIS)
An axiomatic basis for general discrete-event modeling
WSC '91 Proceedings of the 23rd conference on Winter simulation
Logic program based action specifications
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
Some contributions to the metatheory of the situation calculus
Journal of the ACM (JACM)
Time and norms: a formalisation in the event-calculus
ICAIL '99 Proceedings of the 7th international conference on Artificial intelligence and law
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
Proving temporal properties of hybrid systems
WSC' 90 Proceedings of the 22nd conference on Winter simulation
A Multidimensional and Multigranular Model of Time for Medical Knowledge-Based Systems
Journal of Intelligent Information Systems - Special issue on integrating artificial intelligene and database technologies
The formal specification and implementation of a modest first-order temporal logic
IEA/AIE '00 Proceedings of the 13th international conference on Industrial and engineering applications of artificial intelligence and expert systems: Intelligent problem solving: methodologies and approaches
A logical approach to high-level agent control
Proceedings of the fifth international conference on Autonomous agents
Designing and executing protocols using the event calculus
Proceedings of the fifth international conference on Autonomous agents
Norms and time in agent-based systems
Proceedings of the 8th international conference on Artificial intelligence and law
Proceedings of the 8th international conference on Artificial intelligence and law
Incremental execution of guarded theories
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
A comparison of point-based approaches to qualitative temporal reasoning
Artificial Intelligence
An enriched knowledge model for formal ontological analysis
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Flexible protocol specification and execution: applying event calculus planning using commitments
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Animated specifications of computational societies
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
The Logical Approach to Temporal Reasoning
Artificial Intelligence Review
Merging structured text using temporal knowledge
Data & Knowledge Engineering
Representing and reasoning about concurrent actions with abductive logic programs
Annals of Mathematics and Artificial Intelligence
Computational aspects of the FLBC framework
Decision Support Systems - Special issue: Formal modeling and electronic commerce
Dynamic temporal interpretation contexts for temporal abstraction
Annals of Mathematics and Artificial Intelligence
From logic programming towards multi-agent systems
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
Temporal representation and reasoning in artificial intelligence: Issues and approaches
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning
Applied Intelligence
Temporal Data Management Systems: A Comparative View
IEEE Transactions on Knowledge and Data Engineering
A Logic Programming Framework for Modeling Temporal Objects
IEEE Transactions on Knowledge and Data Engineering
Supporting Inheritance Mechanisms in Ontology Representation
EKAW '00 Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management
The Nature of Knowledge in an Abductive Event Calculus Planner
EKAW '00 Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management
Attribute Meta-properties for Formal Ontological Analysis
EKAW '02 Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web
Situation Calculus as Hybrid Logic: First Steps
EPIA '01 Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving
Reasoning about Actions with CHRs and Finite Domain Constraints
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
An Abductive Approach for Analysing Event-Based Requirements Specifications
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Declarative Concurrency in Java
IPDPS '00 Proceedings of the 15 IPDPS 2000 Workshops on Parallel and Distributed Processing
PaCT '01 Proceedings of the 6th International Conference on Parallel Computing Technologies
ACTILOG: An Agent Activation Language
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
A logical framework for temporal deductive databases
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Counterfactual Reasoning by Means of a Calculus of Narrative Context
CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
Abduction in Logic Programming
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
MuTACLP: A Language for Temporal Reasoning with Multiple Theories
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Some Alternative Formulations of the Event Calculus
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Temporal Indeterminancy in Deductive Databases: An Approach Based on Event Calculus
ARTDB '97 Proceedings of the Second International Workshop on Active, Real-Time, and Temporal Database Systems
Data Models with Multiple Temporal Dimensions: Completing the Picture
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Combining Introspection and Communication with Rationality and Reactivity in Agents
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Representing the Process Semantics in the Event Calculus
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Reasoning about Actions in Prioritized Default Theory
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Encoding Solutions of the Frame Problem in Dynamic Logic
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
An Argumentation Framework of Reasoning about Actions and Change
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
A Temporal Reasoning Approach to Model Workflow Activities
NGIT '99 Proceedings of the 4th International Workshop on Next Generation Information Technologies and Systems
Implementing Declarative Concurrency in Java
Euro-Par '00 Proceedings from the 6th International Euro-Par Conference on Parallel Processing
Temporal Languages for Simulation and Analysis of the Dynamics within an Organisation
CEEMAS '01 Revised Papers from the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems: From Theory to Practice in Multi-Agent Systems
Understanding and Simulating Narratives in the Context of Information Systems
ER '02 Proceedings of the 21st International Conference on Conceptual Modeling
Operational Characterization of Genre in Literary and Real-life Domains
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
Specification and Implementation of Temporal Databases in a Bitemporal Event Calculus
ER '99 Proceedings of the Workshops on Evolution and Change in Data Management, Reverse Engineering in Information Systems, and the World Wide Web and Conceptual Modeling
CL '00 Proceedings of the First International Conference on Computational Logic
Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
Characterising Concept's Properties in Ontologies
AI*IA 01 Proceedings of the 7th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
Temporal Databases with Null Values
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Formalizing Workflows Using the Event Calculus
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
Two Approaches to Event Definition
DEXA '02 Proceedings of the 13th International Conference on Database and Expert Systems Applications
Non-Markovian control in the situation calculus
Eighteenth national conference on Artificial intelligence
Distributed enactment of multiagent workflows: temporal logic for web service composition
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
A general framework for reasoning about change
New Generation Computing
Utilising the Event Calculus for Policy Driven Adaptation on Mobile Systems
POLICY '02 Proceedings of the 3rd International Workshop on Policies for Distributed Systems and Networks (POLICY'02)
Fluent model checking for event-based systems
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Temporal representation of state transitions
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Temporal reasoning in process planning
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Propositional planning in BDI agents
Proceedings of the 2004 ACM symposium on Applied computing
Specification and verification of agent interaction protocols in a logic-based system
Proceedings of the 2004 ACM symposium on Applied computing
Concurrent and distributed programming using constraint logic programs
Proceedings of the 2004 ACM symposium on Applied computing
BusTUC: a natural language bus route oracle
ANLC '00 Proceedings of the sixth conference on Applied natural language processing
An ontology model to facilitate knowledge-sharing in multi-agent systems
The Knowledge Engineering Review
A logic programming approach to knowledge-state planning: Semantics and complexity
ACM Transactions on Computational Logic (TOCL)
EACL '89 Proceedings of the fourth conference on European chapter of the Association for Computational Linguistics
Temporal ontology in natural language
ACL '87 Proceedings of the 25th annual meeting on Association for Computational Linguistics
Man bites dog: looking for interesting inconsistencies in structured news reports
Data & Knowledge Engineering
Using methods of declarative logic programming for intelligent information agents
Theory and Practice of Logic Programming
Partial orderings and Aktionsarten in discourse representation theory
COLING '88 Proceedings of the 12th conference on Computational linguistics - Volume 1
Aspect-switching and subordination: the role of it-clefts in discourse
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 1
Temporal structure of discourse
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 1
Disambiguation by prioritized circumscription
COLING '96 Proceedings of the 16th conference on Computational linguistics - Volume 2
Introduction: progress in formal commonsense reasoning
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
A unifying semantics for time and events
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Annals of Mathematics and Artificial Intelligence
Event choice datalog: a logic programming language for reasoning in multiple dimensions
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
Introduction to the special issue on temporal information processing
ACM Transactions on Asian Language Information Processing (TALIP) - Special Issue on Temporal Information Processing
An event detection algebra for reactive systems
Proceedings of the 4th ACM international conference on Embedded software
FLUX: A logic programming method for reasoning agents
Theory and Practice of Logic Programming
Towards design tools for protocol development
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Formalization of a voting protocol for virtual organizations
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
The object event calculus and temporal geographic information systems
IEA/AIE'2003 Proceedings of the 16th international conference on Developments in applied artificial intelligence
Temporal reasoning for decision support in medicine
Artificial Intelligence in Medicine
An algebraic framework for temporal attribute characteristics
Annals of Mathematics and Artificial Intelligence
Event calculus and temporal action logics compared
Artificial Intelligence
Dynamics of legal provisions and its representation
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Voting in online deliberative assemblies
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Merging news reports that describe events
Data & Knowledge Engineering
Specification and Verification of Dynamics in Cognitive Agent Models
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Defeasible Reasoning with e-Contracts
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
A temporal argumentative system
AI Communications
Extending the event calculus for tracking epidemic spread
Artificial Intelligence in Medicine
A knowledge-based approach to merging information
Knowledge-Based Systems
Book reviews: Knowledge representation and commonsense reasoning: Reviews of four books
Artificial Intelligence
Temporal abstraction in intelligent clinical data analysis: A survey
Artificial Intelligence in Medicine
Extending temporal databases to deal with telic/atelic medical data
Artificial Intelligence in Medicine
Journal of Biomedical Informatics
Fundamental legal concepts: a formal and teleological characterisation
Artificial Intelligence and Law
High frequency distributed data stream event correlation to improve neonatal clinical management
Proceedings of the 2007 inaugural international conference on Distributed event-based systems
Design time analysis of multiagent protocols
Data & Knowledge Engineering
A framework for formal modeling and analysis of organizations
Applied Intelligence
An executable specification of a formal argumentation protocol
Artificial Intelligence
Specification, analysis and simulation of the dynamics within an organisation
Applied Intelligence
Artificial Intelligence Review
Reasoning about non-immediate triggers in biological networks
Annals of Mathematics and Artificial Intelligence
Using the event calculus to reason about problem diagrams
Proceedings of the 3rd international workshop on Applications and advances of problem frames
Towards a methodology for lifelong validation of service compositions
Proceedings of the 2nd international workshop on Systems development in SOA environments
A case study in reasoning about processes
CIMMACS'06 Proceedings of the 5th WSEAS International Conference on Computational Intelligence, Man-Machine Systems and Cybernetics
On the use of organisation modelling techniques to address biological organisation
Multiagent and Grid Systems - Multi-agent systems for medicine, computational biology, and bioinformatics
SIMULATION AND ANALYSIS OF CONTROLLED MULTI-REPRESENTATIONAL REASONING PROCESSES
Applied Artificial Intelligence
ACM Transactions on Information and System Security (TISSEC)
Towards Design Tools for Protocol Development
Agent Communication II
Specifying and Reasoning About Multiple Institutions
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Specification and Verification of Institutions Through Status Functions
Coordination, Organizations, Institutions, and Norms in Agent Systems II
A Framework for Model Checking Institutions
Model Checking and Artificial Intelligence
Representing Spatial Activities by Spatially Contextualised Motion Patterns
RoboCup 2006: Robot Soccer World Cup X
Extracting Requirements from Scenarios with ILP
Inductive Logic Programming
Using Cognitive Archetypes and Conceptual Graphs to Model Dynamic Phenomena in Spatial Environments
ICCS '07 Proceedings of the 15th international conference on Conceptual Structures: Knowledge Architectures for Smart Applications
Multi-agent Cooperative Planning and Information Gathering
CIA '07 Proceedings of the 11th international workshop on Cooperative Information Agents XI
Alternative Dispute Resolution in Virtual Organizations
Engineering Societies in the Agents World VIII
Automated Web Services Composition with the Event Calculus
Engineering Societies in the Agents World VIII
Using Event Calculus for Behaviour Reasoning and Assistance in a Smart Home
ICOST '08 Proceedings of the 6th international conference on Smart Homes and Health Telematics
Specifying norm-governed computational societies
ACM Transactions on Computational Logic (TOCL)
Temporal aspects of tasks in the user action notation
Human-Computer Interaction
Credential management in event-driven healthcare systems
Proceedings of the ACM/IFIP/USENIX Middleware '08 Conference Companion
Deontic logic for modelling data flow and use compliance
Proceedings of the 6th international workshop on Middleware for pervasive and ad-hoc computing
Controlling historical information dissemination in publish/subscribe
Proceedings of the 2008 workshop on Middleware security
Knowledge representation concepts for automated SLA management
Decision Support Systems
Computational Logic in Multi-Agent Systems
A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions
Advances in Software Engineering
How Can Agents Know What to Assume When?
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Dynamic simulation of action at operations level
Autonomous Agents and Multi-Agent Systems
From Obligations to Organizational Structures in Multi-Agent Systems
PRIMA '08 Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems
Authorization and Obligation Policies in Dynamic Systems
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
A reasoning agent for credit card fraud using the event calculus
International Journal of Electronic Security and Digital Forensics
Expressive policy analysis with enhanced system dynamicity
Proceedings of the 4th International Symposium on Information, Computer, and Communications Security
Verification of Choreographies During Execution Using the Reactive Event Calculus
Web Services and Formal Methods
Past--future separation and normal forms in temporal predicate logic specifications
Journal of Algorithms
Dynamic protocols for open agent systems
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
The role of assumption identification in autonomous agent reasoning
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Multi-agent planning with confidentiality
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Evaluating dynamic protocols for open agent systems
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Legal Theory, Sources of Law and the Semantic Web
Proceedings of the 2009 conference on Legal Theory, Sources of Law and the Semantic Web
Argumentation Using Temporal Knowledge
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Verifying Interlevel Relations within Multi-Agent Systems
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Adaptation of Voting Rules in Agent Societies
Organized Adaption in Multi-Agent Systems
A Model for Criminal Decision Making Based on Hypothetical Reasoning about the Future
IEA/AIE '09 Proceedings of the 22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: Next-Generation Applied Intelligence
A Semantical Account of Progression in the Presence of Defaults
Conceptual Modeling: Foundations and Applications
International Journal of Metadata, Semantics and Ontologies
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
The OPL Access Control Policy Language
TrustBus '09 Proceedings of the 6th International Conference on Trust, Privacy and Security in Digital Business
Real-time event processing for high volume applications using StarRules™
Proceedings of the Third ACM International Conference on Distributed Event-Based Systems
The semantics of variables in action descriptions
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Reasoning about attribute authenticity in a web environment
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Modeling and learning vague event durations for temporal reasoning
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Reasoning with incomplete initial information and nondeterminism in situation calculus
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
PDDL2.1: an extension to PDDL for expressing temporal planning domains
Journal of Artificial Intelligence Research
Coherent integration of databases by abductive logic programming
Journal of Artificial Intelligence Research
Reasoning about action: an argumentation-theoretic approach
Journal of Artificial Intelligence Research
Computational logic foundations of KGP agents
Journal of Artificial Intelligence Research
Practical methods for proving termination of general logic programs
Journal of Artificial Intelligence Research
Time for action: on the relation between time, knowledge and action
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Prediction is deduction but explanation is abduction
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
The logic of time structures: temporal and nonmonotonic features
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Situation recognition: representation and algorithms
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
A metalogic programming approach to reasoning about time in knowledge bases
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 2
Using focus rules in requirements elicitation dialogues
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Progression of situation calculus action theories with incomplete information
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Logic programming for robot control
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
A methodology for proving termination of general logic programs
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Reified temporal theories and how to unreify them
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
An Obligation Approach for Exception Handling in Interaction Protocols
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
Obligation-Based Agent Conversations for Semantic Web Service Composition
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
Causal interaction: from a high-level representation to an operational event-based representation
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Semantics for a useful fragment of the situation calculus
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Dynamic semantics for tense and aspect
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Event calculus and temporal action logics compared
Artificial Intelligence
Security policy refinement using data integration: a position paper
Proceedings of the 2nd ACM workshop on Assurable and usable security configuration
Declarative specification and verification of service choreographiess
ACM Transactions on the Web (TWEB)
Commitment tracking via the reactive event calculus
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Circumscriptive event calculus as answer set programming
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
A semantical account of progression in the presence of defaults
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
An Integrated Declarative Approach to Web Services Composition and Monitoring
WISE '09 Proceedings of the 10th International Conference on Web Information Systems Engineering
Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Achieving High-Level Directives Using Strategy-Trees
MACE '09 Proceedings of the 4th IEEE International Workshop on Modelling Autonomic Communications Environments
Rule-Based Event Processing and Reaction Rules
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Semantic Rule-Based Complex Event Processing
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Simple Default Reasoning in Theories of Action
AI '09 Proceedings of the 22nd Australasian Joint Conference on Advances in Artificial Intelligence
Probabilistic situation recognition for vehicular traffic scenarios
ICRA'09 Proceedings of the 2009 IEEE international conference on Robotics and Automation
Electronic Notes in Theoretical Computer Science (ENTCS)
Knowledge based crime scenario modelling
Expert Systems with Applications: An International Journal
On integrating event definition and event detection
Knowledge and Information Systems
An adaptive multi-agent organization model based on dynamic role allocation
International Journal of Knowledge-based and Intelligent Engineering Systems
Theory and Practice of Logic Programming
Decision support system with incomplete and domain incoherent information management
Control and Intelligent Systems
Integration of behavioural requirements specification within compositional knowledge engineering
Knowledge-Based Systems
Challenges for action theories
Challenges for action theories
Answer set programming for representing and reasoning about virtual institutions
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
The boundary between decidable and undecidable fragments of the fluent calculus
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Using theory completion to learn a robot navigation control program
ILP'02 Proceedings of the 12th international conference on Inductive logic programming
The representation of e-contracts as default theories
IEA/AIE'07 Proceedings of the 20th international conference on Industrial, engineering, and other applications of applied intelligent systems
Intelligent visualization and exploration of time-oriented data of multiple patients
Artificial Intelligence in Medicine
A norm-governed systems perspective of ad hoc networks
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
Using constraints and process algebra for specification of first-class agent interaction protocols
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
Dynamic specifications in norm-governed open computational societies
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
Competence checking for the global e-service society using games
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
Modeling geospatial events and impacts through qualitative change
SC'06 Proceedings of the 2006 international conference on Spatial Cognition V: reasoning, action, interaction
Event extraction and temporal reasoning in legal documents
Proceedings of the 2005 international conference on Annotating, extracting and reasoning about time and events
Verifying composite service transactional behavior using event calculus
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Embedding landmarks and scenes in a computational model of institutions
COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III
A monolithic approach to automated composition of semantic web services with the Event Calculus
Knowledge-Based Systems
Artificial intelligence today
Evolution and reactivity in the semantic web
Semantic techniques for the web
On defaults in action theories
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
Logic-based representation, reasoning and machine learning for event recognition
Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems
Automated composition of web services with the abductive event calculus
Information Sciences: an International Journal
Formal analysis of design process dynamics
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
EL: a formal, yet natural, comprehensive knowledge representation
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
A resource-efficient event algebra
Science of Computer Programming
A logic programming approach to activity recognition
Proceedings of the 2nd ACM international workshop on Events in multimedia
Knowledge representation and non-monotonic reasoning
A 25-year perspective on logic programming
Dynamic authorisation policies for event-based task delegation
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
REST-A and intercycle messages
KES-AMSTA'10 Proceedings of the 4th KES international conference on Agent and multi-agent systems: technologies and applications, Part I
Role monitoring in open agent societies
KES-AMSTA'10 Proceedings of the 4th KES international conference on Agent and multi-agent systems: technologies and applications, Part I
Towards distributed agent environments for pervasive healthcare
MATES'10 Proceedings of the 8th German conference on Multiagent system technologies
EVEREST+: run-time SLA violations prediction
Proceedings of the 5th International Workshop on Middleware for Service Oriented Computing
Formalizing narratives using nested circumscription
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
What happened to my commitment? exception diagnosis among misalignment and misbehavior
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
A rule-based language for complex event processing and reasoning
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
A cautionary note about policy conflict resolution
MILCOM'06 Proceedings of the 2006 IEEE conference on Military communications
Artificial Intelligence
Artificial Intelligence
A semantic characterization of a useful fragment of the situation calculus with knowledge
Artificial Intelligence
Formalising the Fisherman's Folly puzzle
Artificial Intelligence
Assumption-based reasoning in dynamic normative agent systems
Web Intelligence and Agent Systems
Planning for multiagent using ASP-prolog
CLIMA'09 Proceedings of the 10th international conference on Computational logic in multi-agent systems
Event detection and recognition for semantic annotation of video
Multimedia Tools and Applications
Representations of Time within Normative MAS
Proceedings of the 2010 conference on Legal Knowledge and Information Systems: JURIX 2010: The Twenty-Third Annual Conference
Model-based refinement of security policies in collaborative virtual organisations
ESSoS'11 Proceedings of the Third international conference on Engineering secure software and systems
Formal analysis of intrusion detection systems for high speed networks
ISPACT'10 Proceedings of the 9th WSEAS international conference on Advances in e-activities, information security and privacy
Synthesizing a specification-based monitor for safety requirements
Iranian Journal of Science and Technology, Transaction B: Engineering
Modeling surgical processes: A four-level translational approach
Artificial Intelligence in Medicine
s slGolog: When conditional compositions of web services meet semantic links and causal laws
Web Intelligence and Agent Systems
Proceedings of The Fourth International C* Conference on Computer Science and Software Engineering
Understanding permissions through graphical norms
DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
Proceedings of the 3rd workshop on Biologically inspired algorithms for distributed systems
OWL 2 modeling and reasoning with complex human activities
Pervasive and Mobile Computing
Research on semantic web reasoning based on event ontology
ICWL'10 Proceedings of the 2010 international conference on New horizons in web-based learning
Transaction logic with external actions
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Patterns in world dynamics indicating agency
Transactions on computational collective intelligence III
Towards a model of social coherence in multi-agent organizations
COIN@AAMAS'10 Proceedings of the 6th international conference on Coordination, organizations, institutions, and norms in agent systems
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
Simulation-based temporal projection of everyday robot object manipulation
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Knowledge in digital decision support system
UAHCI'11 Proceedings of the 6th international conference on Universal access in human-computer interaction: applications and services - Volume Part IV
Entity-based state management for complex event processing applications
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Monitoring business constraints with linear temporal logic: an approach based on colored automata
BPM'11 Proceedings of the 9th international conference on Business process management
Probabilistic rule learning in nonmonotonic domains
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Animation of open multi-agent systems
Proceedings of the 2011 Workshop on Agent-Directed Simulation
A proposal for transactions in the semantic web
EPIA'11 Proceedings of the 15th Portugese conference on Progress in artificial intelligence
Monitoring Gestational Diabetes Mellitus with Cognitive Agents and Agent Environments
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 02
Probabilistic event calculus based on Markov logic networks
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Role assignment in institutional clouds for rule-based enterprise management
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Reasoning by assumption: formalisation and analysis of human reasoning traces
IWINAC'05 Proceedings of the First international conference on Mechanisms, Symbols, and Models Underlying Cognition: interplay between natural and artificial computation - Volume Part I
Planning experiments in the DALI logic programming language
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
The SCIFF abductive proof-procedure
AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
Interleaving multi-agent systems and social networks for organized adaptation
Computational & Mathematical Organization Theory
Securing web service compositions: formalizing authorization policies using event calculus
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Abductive logic programming agents with destructive databases
Annals of Mathematics and Artificial Intelligence
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
A formal analysis of KGP agents
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Requirements analysis of an agent’s reasoning capability
AOIS'05 Proceedings of the 7th international conference on Agent-Oriented Information Systems III
Towards formal verification of web service composition
BPM'06 Proceedings of the 4th international conference on Business Process Management
Methods for model-based reasoning within agent-based Ambient Intelligence applications
Knowledge-Based Systems
WISE'05 Proceedings of the 6th international conference on Web Information Systems Engineering
Computational logic in an object-oriented world
Reasoning, Action and Interaction in AI Theories and Systems
The adversarial activity model for bounded rational agents
Autonomous Agents and Multi-Agent Systems
Towards verifying contract regulated service composition
Autonomous Agents and Multi-Agent Systems
Systems theory: melding the AI and simulation perspectives
AIS'04 Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems
A protocol for resource sharing in norm-governed ad hoc networks
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
The SOCS computational logic approach to the specification and verification of agent societies
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
The KGP model of agency for global computing: computational model and prototype implementation
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
Graphical norms via conceptual graphs
Knowledge-Based Systems
Web service mining and verification of properties: an approach based on event calculus
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
The other syntax: approaching natural language semantics through logical form composition
CSLP'04 Proceedings of the First international conference on Constraint Solving and Language Processing
Planning partially for situated agents
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Personalization for the semantic web
Proceedings of the First international conference on Reasoning Web
Security checker architecture for policy-based security management
MMM-ACNS'05 Proceedings of the Third international conference on Mathematical Methods, Models, and Architectures for Computer Network Security
Temporal constraints with multiple granularities in smart homes
Designing Smart Homes
Causal reasoning for alert generation in smart homes
Designing Smart Homes
Formalizing the specification and execution of workflows using the event calculus
Information Sciences: an International Journal
Analysis of composite web services using logging facilities
ICSOC'06 Proceedings of the 4th international conference on Service-oriented computing
QoS management in MANETs using norm-governed agent societies
ESAW'05 Proceedings of the 6th international conference on Engineering Societies in the Agents World
Automated evaluation of coordination approaches
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Social commitments in time: satisfied or compensated
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Task modelling using situation calculus
TAMODIA'09 Proceedings of the 8th international conference on Task Models and Diagrams for User Interface Design
Coordination, conventions and the self-organisation of sustainable institutions
PRIMA'11 Proceedings of the 14th international conference on Agents in Principle, Agents in Practice
Producing enactable protocols in artificial agent societies
PRIMA'11 Proceedings of the 14th international conference on Agents in Principle, Agents in Practice
A logical approach for modeling spatio-temporal objects and events
ER'05 Proceedings of the 24th international conference on Perspectives in Conceptual Modeling
ContractLog: an approach to rule based monitoring and execution of service level agreements
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
Using the KGP model of agency to design applications
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Specifying and analysing agent-based social institutions using answer set programming
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
Processing coordinated structures in PENG light
AI'11 Proceedings of the 24th international conference on Advances in Artificial Intelligence
Exception handling in pervasive service composition using normative agents
Journal of Web Engineering
Software support for organised adaptation
ProMAS'10 Proceedings of the 8th international conference on Programming Multi-Agent Systems
Detecting conflicts in commitments
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
Formal analysis of trace conditioning
Cognitive Systems Research
Learning from vacuously satisfiable scenario-based specifications
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Transaction independence: The road to cooperative systems
Mathematical and Computer Modelling: An International Journal
Modelling the dynamics of reasoning processes: Reasoning by assumption
Cognitive Systems Research
Understanding script-based stories using commonsense reasoning
Cognitive Systems Research
A temporal reasoning framework used in the diagnosis of skeletal dysplasias
Artificial Intelligence in Medicine
Exception diagnosis in multiagent contract executions
Annals of Mathematics and Artificial Intelligence
Event processing under uncertainty
Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems
Run-time composite event recognition
Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems
Generating obstacle conditions for requirements completeness
Proceedings of the 34th International Conference on Software Engineering
The scientific contribution of marek sergot
Logic Programs, Norms and Action
Teleo-Reactive abductive logic programs
Logic Programs, Norms and Action
Logic Programs, Norms and Action
Argumentation and the event calculus
Logic Programs, Norms and Action
Reactive event calculus for monitoring global computing applications
Logic Programs, Norms and Action
Reasoning about the intentions of agents
Logic Programs, Norms and Action
GOAL agents instantiate intention logic
Logic Programs, Norms and Action
On the representation of normative sentences in FOL
Logic Programs, Norms and Action
Logical approaches to authorization policies
Logic Programs, Norms and Action
Managing user-generated content as a knowledge commons
Logic Programs, Norms and Action
Procera: a language for high-level reactive network control
Proceedings of the first workshop on Hot topics in software defined networks
Agent based monitoring of gestational diabetes mellitus (demonstration)
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
Integrating model checking and inductive logic programming
ILP'11 Proceedings of the 21st international conference on Inductive Logic Programming
Interleaved inductive-abductive reasoning for learning complex event models
ILP'11 Proceedings of the 21st international conference on Inductive Logic Programming
Integrating relational reinforcement learning with reasoning about actions and change
ILP'11 Proceedings of the 21st international conference on Inductive Logic Programming
Applications of action languages in cognitive robotics
Correct Reasoning
Working with events and states in PENG light
CNL'10 Proceedings of the Second international conference on Controlled Natural Language
International Workshop on Situation, Activity and Goal Awareness (SAGAware 2012)
Proceedings of the 2012 ACM Conference on Ubiquitous Computing
Executing Suspended Logic Programs
Fundamenta Informaticae
Rough Set Based Reasoning About Changes
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Journal of Artificial Intelligence Research
Rigorous design of robot software: A formal component-based approach
Robotics and Autonomous Systems
A logic-based framework for reactive systems
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
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
On the algebraic semantics of reactive rules
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
A rule-based calculus and processing of complex events
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
Detecting events in video data using a formal ontology of motion verbs
SC'12 Proceedings of the 2012 international conference on Spatial Cognition VIII
Rule-based context assessment in smart cities
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Event calculus-based adaptive services composition policy for ami systems
AMT'12 Proceedings of the 8th international conference on Active Media Technology
The design of intelligent socio-technical systems
Artificial Intelligence Review
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
Completing causal networks by meta-level abduction
Machine Learning
Towards data-aware constraints in declare
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Learning revised models for planning in adaptive systems
Proceedings of the 2013 International Conference on Software Engineering
Grand challenge: the TechniBall system
Proceedings of the 7th ACM international conference on Distributed event-based systems
Poster: Converging runtime and historic detection of areas of congestion within an urban bus network
Proceedings of the 7th ACM international conference on Distributed event-based systems
KnowRob: A knowledge processing infrastructure for cognition-enabled robots
International Journal of Robotics Research
Event recognition for assisted independent living
Proceedings of the 6th International Conference on PErvasive Technologies Related to Assistive Environments
A survey on temporal logics for specifying and verifying real-time systems
Frontiers of Computer Science: Selected Publications from Chinese Universities
A survey on resiliency assessment techniques for wireless sensor networks
Proceedings of the 11th ACM international symposium on Mobility management and wireless access
A self-healing distributed pervasive health system
International Journal of Web Engineering and Technology
Obligations to enforce prohibitions: on the adequacy of security policies
Proceedings of the 6th International Conference on Security of Information and Networks
A survey on ontologies for human behavior recognition
ACM Computing Surveys (CSUR)
Modelling legitimate expectations
JSAI-isAI'12 Proceedings of the 2012 international conference on New Frontiers in Artificial Intelligence
Monitoring business constraints with the event calculus
ACM Transactions on Intelligent Systems and Technology (TIST) - Special Section on Intelligent Mobile Knowledge Discovery and Management Systems and Special Issue on Social Web Mining
Learning from interpretation transition
Machine Learning
Supporting incremental behaviour model elaboration
Computer Science - Research and Development
Supporting incremental behaviour model elaboration
Computer Science - Research and Development
t-DeLP: an argumentation-based Temporal Defeasible Logic Programming framework
Annals of Mathematics and Artificial Intelligence
An obligation-based framework for web service composition via agent conversations
Web Intelligence and Agent Systems
Efficient storage and retrieval in agent protocol libraries using subsumption hierarchies
Multiagent and Grid Systems
A survey of flexible agent interaction approaches
Multiagent and Grid Systems
Tangible ambient intelligence with semantic agents in daily activities
Journal of Ambient Intelligence and Smart Environments
COMMODITY12: A smart e-health environment for diabetes management
Journal of Ambient Intelligence and Smart Environments - Design and Deployment of Intelligent Environments
Automatic Learning of Temporal Relations Under the Closed World Assumption
Fundamenta Informaticae - Cognitive Informatics and Computational Intelligence: Theory and Applications
Hi-index | 0.00 |