Search results for "Event-Calculus"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
60	Thomas M. Schmidt, Frederick E. Petry, Roy Ladner	The Object Event Calculus and Temporal Geographic Information Systems.	IEA/AIE	2003	DBLP DOI BibTeX RDF	temporal object model, Event Calculus, spatiotemporal data, Temporal GIS
54	Silvio do Lago Pereira, Leliane Nunes de Barros	High-Level Robot Programming: An Abductive Approach Using Event Calculus.	SBIA	2004	DBLP DOI BibTeX RDF	planning, abduction, event calculus, cognitive robotics
53	Onur Aydin, Nihan Kesim Cicekli, Ilyas Cicekli	Automated Web Services Composition with the Event Calculus.	ESAW	2007	DBLP DOI BibTeX RDF	Planning, Web Service Composition, Event Calculus
44	Stefano Bromuri, Kostas Stathis	Distributed agent environments in the Ambient Event Calculus.	DEBS	2009	DBLP DOI BibTeX RDF	distributed agent environments, research paper, MAS, event calculus
39	Georgios K. Giannikis, Aspassia Daskalopulu	The Representation of e-Contracts as Default Theories.	IEA/AIE	2007	DBLP DOI BibTeX RDF	Reasoning with incomplete knowledge, Multi-agent systems, E-commerce, Default Logic, Event Calculus, Default reasoning, Circumscription
38	Iliano Cervesato, Massimo Franceschet, Angelo Montanari	Modal Event Calculi with Preconditions.	TIME	1997	DBLP DOI BibTeX RDF	modal event calculi, event occurrences, maximal validity intervals, semantic formalization, MVI validation, complexity, temporal logic, temporal logic, preconditions, event calculus
38	Svein Yngvar Willassen	Using simplified event calculus in digital investigation.	SAC	2008	DBLP DOI BibTeX RDF	propositional logic, event calculus, digital investigation
38	Liming Chen 0001, Chris D. Nugent, Maurice D. Mulvenna, Dewar D. Finlay, Xin Hong, Michael P. Poland	Using Event Calculus for Behaviour Reasoning and Assistance in a Smart Home.	ICOST	2008	DBLP DOI BibTeX RDF	behavior reasoning, cognitive modeling, smart homes, assistive living, Event calculus
38	Theodore Patkos, Dimitris Plexousakis	A Theory of Action, Knowledge and Time in the Event Calculus.	SETN	2008	DBLP DOI BibTeX RDF	Action Theories, Event Calculus, Reasoning about Knowledge
38	Denys Bernard, Mario Borillo, Bruno Gaume	From event calculus to the scheduling problem. Semantics of action and temporal reasoning in aircraft maintenance.	Appl. Intell.	1991	DBLP DOI BibTeX RDF	semantics of action, pragmatics of aircraft maintenance, scheduling, temporal reasoning, Event calculus
35	Pinar Yolum, Munindar P. Singh	Reasoning about Commitments in the Event Calculus: An Approach for Specifying and Executing Protocols.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	methodologies, commitments, agent communication languages and protocols
35	Rob Miller 0002, Murray Shanahan	Some Alternative Formulations of the Event Calculus.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
35	Pinar Yolum, Munindar P. Singh	Flexible protocol specification and execution: applying event calculus planning using commitments.	AAMAS	2002	DBLP DOI BibTeX RDF	commitments, agent communication languages and protocols, methodologies and tools
35	Luca Chittaro, Carlo Combi	Temporal Indeterminancy in Deductive Databases: An Approach Based on Event Calculus.	ARTDB	1997	DBLP DOI BibTeX RDF
32	Thein Than Tun, Yijun Yu, Robin C. Laney, Bashar Nuseibeh	Early Identification of Problem Interactions: A Tool-Supported Approach.	REFSQ	2009	DBLP DOI BibTeX RDF	Problem Composition, Problem Interactions, Event Calculus, Problem Frames
32	Silvio do Lago Pereira, Leliane Nunes de Barros	Planning with Abduction: A Logical Framework to Explore Extensions to Classical Planning.	SBIA	2004	DBLP DOI BibTeX RDF	planning, theorem proving, abduction, event calculus
32	Liming Chen 0001, Kamal Bechkoum, Gordon Clapworthy	A logical approach to high-level agent control.	Agents	2001	DBLP DOI BibTeX RDF	design methodologies, autonomous agents, instructability, event calculus, action selection and planning
31	Bill Stoddart, Dominique Cansell, Frank Zeyda	Modelling and Proof Analysis of Interrupt Driven Scheduling.	B	2007	DBLP DOI BibTeX RDF	Interrupt Driven Scheduler, Formal Methods, Event Calculus
30	Rosa Meo, Giuseppe Psaila, Stefano Ceri	Composite Events in Chimera.	EDBT	1996	DBLP DOI BibTeX RDF
28	Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni	Verification of Choreographies During Execution Using the Reactive Event Calculus.	WS-FM	2008	DBLP DOI BibTeX RDF
28	Nihan Kesim Cicekli, Yakup Yildirim	Formalizing Workflows Using the Event Calculus.	DEXA	2000	DBLP DOI BibTeX RDF
28	Chunping Li	Representing the Process Semantics in the Event Calculus.	JELIA	2000	DBLP DOI BibTeX RDF
26	Tyrone O'Neill, Norman Y. Foo	Reasoning about Continuous Change.	PRICAI	1998	DBLP DOI BibTeX RDF
25	Fehime Nihan Kesim, Marek J. Sergot	Versioning of Objects in Deductive Databases.	DOOD	1993	DBLP DOI BibTeX RDF
25	Alexander Artikis, Marek J. Sergot, Jeremy V. Pitt	Specifying norm-governed computational societies.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	agent, policy, norm, executable specification, event calculus, Action language, contract-net
25	Francis G. McCabe	Real-time event processing for high volume applications using StarRulesTM.	DEBS	2009	DBLP DOI BibTeX RDF	parallel programming, agents, functional programming, fault detection, event calculus, agent oriented programming, semiconductor manufacturing
25	David Evans 0002, David M. Eyers	Deontic logic for modelling data flow and use compliance.	MPAC	2008	DBLP DOI BibTeX RDF	middleware, contract, deontic logic, event calculus
25	George Spanoudakis, Christos Kloukinas, Kelly Androutsopoulos	Towards security monitoring patterns.	SAC	2007	DBLP DOI BibTeX RDF	runtime monitoring, event calculus, security patterns
25	Khaled Mahbub, George Spanoudakis	A framework for requirents monitoring of service based systems.	ICSOC	2004	DBLP DOI BibTeX RDF	event calculus, BPEL4WS, service-based systems, requirements monitoring
24	Walid Gaaloul, Mohsen Rouached, Claude Godart, Manfred Hauswirth	Verifying Composite Service Transactional Behavior Using Event Calculus.	OTM Conferences (1)	2007	DBLP DOI BibTeX RDF
24	Mohsen Rouached, Olivier Perrin 0001, Claude Godart	A Contract-Based Approach for Monitoring Collaborative Web Services Using Commitments in the Event Calculus.	WISE	2005	DBLP DOI BibTeX RDF
23	Carolyn McGregor, Michael Stacey	High frequency distributed data stream event correlation to improve neonatal clinical management.	DEBS	2007	DBLP DOI BibTeX RDF	multi-agent systems, data streams, event based systems, neonatal intensive care unit
22	Joohyung Lee 0002, Ravi Palla	Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming.	CoRR	2014	DBLP BibTeX RDF
22	Joohyung Lee 0002, Ravi Palla	Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming.	J. Artif. Intell. Res.	2012	DBLP DOI BibTeX RDF
22	Robert A. Kowalski, Fariba Sadri	Reconciling the Event Calculus With the Situation Calculus.	J. Log. Program.	1997	DBLP DOI BibTeX RDF
22	Kristof Van Belleghem, Marc Denecker, Danny De Schreye	On the Relation Between Situation Calculus and Event Calculus.	J. Log. Program.	1997	DBLP DOI BibTeX RDF
22	Alessandro Provetti	Hypothetical Reasoning about Actions: From Situation Calculus to Event Calculus.	Comput. Intell.	1996	DBLP DOI BibTeX RDF
22	Kristof Van Belleghem, Marc Denecker, Danny De Schreye	Combining Situation Calculus and Event Calculus.	ICLP	1995	DBLP BibTeX RDF
22	Rob Miller 0002	Situation Calculus Specifications for Event Calculus Logic Programs.	LPNMR	1995	DBLP DOI BibTeX RDF
22	Robert A. Kowalski, Fariba Sadri	The Situation Calculus and Event Calculus Compared.	ILPS	1994	DBLP BibTeX RDF
22	Alessandro Provetti	Hypothetical Reasoning from Situation Calculus to Event Calculus.	TIME	1994	DBLP BibTeX RDF
21	Khaled Mahbub, George Spanoudakis	Monitoring WS-Agreement s: An Event Calculus-Based Approach.	Test and Analysis of Web Services	2007	DBLP DOI BibTeX RDF
21	George Spanoudakis, Khaled Mahbub	Requirements Monitoring for Service-Based Systems: Towards a framework based on Event Calculus.	ASE	2004	DBLP DOI BibTeX RDF
21	Arosha K. Bandara, Emil Lupu, Alessandra Russo	Using Event Calculus to Formalise Policy Specification and Analysis.	POLICY	2003	DBLP DOI BibTeX RDF
21	Christos Efstratiou, Adrian Friday, Nigel Davies 0001, Keith Cheverst	Utilising the Event Calculus for Policy Driven Adaptation on Mobile Systems.	POLICY	2002	DBLP DOI BibTeX RDF
21	Sergio Brandano	The Event Calculus Assessed.	TIME	2001	DBLP DOI BibTeX RDF
21	Leliane Nunes de Barros, Paulo E. Santos	The Nature of Knowledge in an Abductive Event Calculus Planner.	EKAW	2000	DBLP DOI BibTeX RDF
21	Murray Shanahan	The Event Calculus Explained.	Artificial Intelligence Today	1999	DBLP DOI BibTeX RDF
21	Stephen G. Pimentel, John L. Cuadrado	The Event Calculus and Consistency Maintenance.	IEA/AIE (Vol. 2)	1990	DBLP DOI BibTeX RDF
19	Luca Chittaro, Carlo Combi	Reasoning about Events with Imprecise Location and Multiple Granularities.	DEXA	1999	DBLP DOI BibTeX RDF
18	Nikos Katzouris, Alexander Artikis, Georgios Paliouras	Parallel online event calculus learning for complex event recognition.	Future Gener. Comput. Syst.	2019	DBLP DOI BibTeX RDF
18	Alexandros Mavrommatis, Alexander Artikis, Anastasios Skarlatidis, Georgios Paliouras	A Distributed Event Calculus for Event Recognition.	AI-IoT@ECAI	2016	DBLP BibTeX RDF
18	Anastasios Skarlatidis, Georgios Paliouras, Alexander Artikis, George A. Vouros	Probabilistic Event Calculus for Event Recognition.	ACM Trans. Comput. Log.	2015	DBLP DOI BibTeX RDF
18	Alexander Artikis, Marek J. Sergot, Georgios Paliouras	An Event Calculus for Event Recognition.	IEEE Trans. Knowl. Data Eng.	2015	DBLP DOI BibTeX RDF
18	Anastasios Skarlatidis, Georgios Paliouras, Alexander Artikis, George A. Vouros	Probabilistic Event Calculus for Event Recognition	CoRR	2012	DBLP BibTeX RDF
18	Lode Missiaen	Ecsim: discrete Event Simulation using Event Calculus.	Int. J. Artif. Intell. Tools	1995	DBLP DOI BibTeX RDF
18	Lode Missiaen	Discrete Event Simulation using Event Calculus.	ICTAI	1994	DBLP DOI BibTeX RDF
17	Thein Than Tun, Yijun Yu, Charles B. Haley, Bashar Nuseibeh	Model-Based Argument Analysis for Evolving Security Requirements.	SSIRI	2010	DBLP DOI BibTeX RDF	Security argumentation, OpenPF, Requirements Engineering, Evolution, Event Calculus
17	Nuno Amálio	Suspicion-Driven Formal Analysis of Security Requirements.	SECURWARE	2009	DBLP DOI BibTeX RDF	Security, planning, requirements, confidentiality, formal analysis, separation of duty, Event-Calculus
17	Krysia Broda, Keith Clark, Rob Miller 0002, Alessandra Russo	SAGE: A Logical Agent-Based Environment Monitoring and Control System.	AmI	2009	DBLP DOI BibTeX RDF	Multi-Agent Reasoning, Teleo-Reactive Programs, Logic Programming, Logic, Abduction, Event Calculus, Environmental Control
17	Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel	Inferring operational requirements from scenarios and goal models using inductive learning.	SCESM	2006	DBLP DOI BibTeX RDF	FLTL, scenarios, event calculus, inductive inference, goal-oriented requirements engineering
17	Fehime Nihan Kesim, Marek J. Sergot	A Logic Programming Framework for Modeling Temporal Objects.	IEEE Trans. Knowl. Data Eng.	1996	DBLP DOI BibTeX RDF	logic programming, Object-oriented databases, temporal databases, deductive databases, temporal reasoning, event calculus, object versioning
17	Roberto Maiocchi, Barbara Pernici	Temporal Data Management Systems: A Comparative View.	IEEE Trans. Knowl. Data Eng.	1991	DBLP DOI BibTeX RDF	temporal data management, interval-based logic, time map management, TSOS, TQuel, ERAE, software engineering, software engineering, databases, artificial intelligence, temporal logic, knowledge based systems, database management systems, knowledge bases, event calculus
15	Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden	Developing Consistent Contractual Policies in Service Composition.	APSCC	2007	DBLP DOI BibTeX RDF
15	John Knottenbelt, Keith Clark	Contract-Related Agents.	CLIMA	2005	DBLP DOI BibTeX RDF
15	Arosha K. Bandara, Emil Lupu, Jonathan D. Moffett, Alessandra Russo	A Goal-based Approach to Policy Refinement.	POLICY	2004	DBLP DOI BibTeX RDF
15	Stephen Moyle	Using Theory Completion to Learn a Robot Navigation Control Program.	ILP	2002	DBLP DOI BibTeX RDF
15	Iliano Cervesato, Angelo Montanari	A Calculus of Macro-Events: Progress Report.	TIME	2000	DBLP DOI BibTeX RDF	Processes, Temporal Reasoning
15	Nihan Kesim Cicekli	A Temporal Reasoning Approach to Model Workflow Activities.	NGITS	1999	DBLP DOI BibTeX RDF
15	Massimo Franceschet, Angelo Montanari	Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events.	AI*IA	1999	DBLP DOI BibTeX RDF
14	Xiaohui Zhao 0001, Chengfei Liu, Tao Lin	Enhancing Business Process Automation by Integrating RFID Data and Events.	OTM Conferences (1)	2009	DBLP DOI BibTeX RDF
14	Vadim Ermolayev, Natalya Keberle, Wolf-Ekkehard Matzke	An Ontology of Environments, Events, and Happenings.	COMPSAC	2008	DBLP DOI BibTeX RDF	happening, engineering design process, ontology, event, environment, design system
14	Jean-Luc Paillet, Norbert Giambiasi	DECM, A User Oriented Formalism for High Level Discrete Event Specifications of Real-Time Systems.	J. Intell. Robotic Syst.	2002	DBLP DOI BibTeX RDF	formal specifications, control systems, production systems, discrete event dynamic systems
14	Alessandra Russo, Rob Miller 0002, Bashar Nuseibeh, Jeff Kramer	An Abductive Approach for Analysing Event-Based Requirements Specifications.	ICLP	2002	DBLP DOI BibTeX RDF
13	Fabio Aurelio D'Asaro, Antonis Bikakis, Luke Dickens, Rob Miller 0002	An answer set programming-based implementation of epistemic probabilistic event calculus.	Int. J. Approx. Reason.	2024	DBLP DOI BibTeX RDF
13	Fabio Aurelio D'Asaro, Luca Raggioli, Salim Malek, Marco Grazioso, Silvia Rossi 0002	An Application of a Runtime Epistemic Probabilistic Event Calculus to Decision-making in e-Health Systems.	Theory Pract. Log. Program.	2023	DBLP DOI BibTeX RDF
13	Nikos Katzouris, Georgios Paliouras, Alexander Artikis	Online Learning Probabilistic Event Calculus Theories in Answer Set Programming.	Theory Pract. Log. Program.	2023	DBLP DOI BibTeX RDF
13	Franz Krause, Xi Yan, Baptiste Darnala, Michel Dumontier	On the Combination of Event Calculus and Empirical Semantic Drifts.	ESWC Workshops	2023	DBLP BibTeX RDF
13	Periklis Mantenoglou	An Event Calculus for Run-Time Reasoning (Extended Abstract).	TIME	2023	DBLP DOI BibTeX RDF
13	Efthimis Tsilionis, Alexander Artikis, Georgios Paliouras	Incremental Event Calculus for Run-Time Reasoning (Extended Abstract).	IJCAI	2023	DBLP DOI BibTeX RDF
13	Mustafa Hashmi	On Modelling Process Aspects With Deontic Event-Calculus.	Int. J. Serv. Sci. Manag. Eng. Technol.	2022	DBLP DOI BibTeX RDF
13	Ashwin Srinivasan 0001, Michael Bain 0001, A. Baskar	Learning explanations for biological feedback with delays using an event calculus.	Mach. Learn.	2022	DBLP DOI BibTeX RDF
13	Efthimis Tsilionis, Alexander Artikis, Georgios Paliouras	Incremental Event Calculus for Run-Time Reasoning.	J. Artif. Intell. Res.	2022	DBLP DOI BibTeX RDF
13	Fabio Aurelio D'Asaro, Luca Raggioli, Salim Malek, Marco Grazioso, Silvia Rossi 0002	An Application of a Runtime Epistemic Probabilistic Event Calculus to Decision-making in e-Health Systems.	CoRR	2022	DBLP DOI BibTeX RDF
13	Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta 0001	Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming.	Theory Pract. Log. Program.	2022	DBLP DOI BibTeX RDF
13	Nena Basina, Theodore Patkos, Dimitris Plexousakis	ECAVI: An Assistant for Reasoning About Actions and Change with the Event Calculus.	Domain-Specific Conceptual Modeling	2022	DBLP DOI BibTeX RDF
13	Sarat Chandra Varanasi, Joaquín Arias, Elmer Salazar, Fang Li 0010, Kinjal Basu 0002, Gopal Gupta 0001	Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP).	PADL	2022	DBLP DOI BibTeX RDF
13	Joost T. de Kruijff, Hans Weigand	Formalizing commitments using the event calculus and RuleML.	Appl. Ontology	2021	DBLP DOI BibTeX RDF
13	Alexander Artikis, Evangelos Makris, Georgios Paliouras	A probabilistic interval-based event calculus for activity recognition.	Ann. Math. Artif. Intell.	2021	DBLP DOI BibTeX RDF
13	Nikoleta Tsampanaki, Theodore Patkos, Giorgos Flouris, Dimitris Plexousakis	Revising event calculus theories to recover from unexpected observations.	Ann. Math. Artif. Intell.	2021	DBLP DOI BibTeX RDF
13	Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta 0001	Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming.	CoRR	2021	DBLP BibTeX RDF
13	Brendan Hall, Sarat Chandra Varanasi, Jan Fiedor, Joaquín Arias, Kinjal Basu 0002, Fang Li 0010, Devesh Bhatt, Kevin Driscoll 0001, Elmer Salazar, Gopal Gupta 0001	Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming.	HCVS@ETAPS	2021	DBLP DOI BibTeX RDF
13	Nikos Katzouris, Alexander Artikis, Georgios Paliouras	Online Learning Probabilistic Event Calculus Theories in Answer Set Programming.	CoRR	2021	DBLP BibTeX RDF
13	Peter Baumgartner 0001	Combining Event Calculus and Description Logic Reasoning via Logic Programming.	CoRR	2021	DBLP BibTeX RDF
13	Sarat Chandra Varanasi, Brendan Hall, Joaquín Arias, Elmer Salazar, Fang Li 0010, Kinjal Basu 0002, Kevin Driscoll 0001, Gopal Gupta 0001	Modelling and Verification of Timed Systems with the Event Calculus and s(CASP).	ICLP Workshops	2021	DBLP BibTeX RDF
13	Oliver Ray	Learning and Revising Dynamic Temporal Theories in the Full Discrete Event Calculus.	ILP	2021	DBLP DOI BibTeX RDF
13	Peter Baumgartner 0001	Combining Event Calculus and Description Logic Reasoning via Logic Programming.	FroCoS	2021	DBLP DOI BibTeX RDF
13	Joost T. de Kruijff, Hans Weigand	Formalising Commitments Using the Event Calculus (full paper).	VMBO	2020	DBLP BibTeX RDF
13	Periklis Mantenoglou, Alexander Artikis, Georgios Paliouras	Online Probabilistic Interval-Based Event Calculus.	ECAI	2020	DBLP DOI BibTeX RDF
13	Je-Min Kim, Myungjoong Jeon, Hyun-Kyu Park, Seok-Hyun Bae, Sung-Hyuk Bang, Young-Tack Park	An approach for recognition of human's daily living patterns using intention ontology and event calculus.	Expert Syst. Appl.	2019	DBLP DOI BibTeX RDF