|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 134 occurrences of 94 keywords
|
|
|
Results
Found 254 publication records. Showing 254 according to the selection in the facets
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Developments in Applied Artificial Intelligence, 16th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2003, Laughborough, UK, June 23-26, 2003, Proceedings, pp. 799-814, 2003, Springer, 3-540-40455-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBIA ![In: Advances in Artificial Intelligence - SBIA 2004, 17th Brazilian Symposium on Artificial Intelligence, São Luis, Maranhão, Brazil, September 29 - October 1, 2004, Proceedings, pp. 73-82, 2004, Springer, 3-540-23237-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESAW ![In: Engineering Societies in the Agents World VIII, 8th International Workshop, ESAW 2007, Athens, Greece, October 22-24, 2007, Revised Selected Papers, pp. 142-157, 2007, Springer, 978-3-540-87653-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Planning, Web Service Composition, Event Calculus |
44 | Stefano Bromuri, Kostas Stathis |
Distributed agent environments in the Ambient Event Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEBS ![In: Proceedings of the Third ACM International Conference on Distributed Event-Based Systems, DEBS 2009, Nashville, Tennessee, USA, July 6-9, 2009, 2009, ACM, 978-1-60558-665-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: New Trends in Applied Artificial Intelligence, 20th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2007, Kyoto, Japan, June 26-29, 2007, Proceedings, pp. 963-973, 2007, Springer, 978-3-540-73322-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 4th International Workshop on Temporal Representation and Reasoning, TIME '97, Daytona Beach, Florida, USA, May 10-11, 1997, pp. 38-45, 1997, IEEE Computer Society, 0-8186-7937-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 1438-1442, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICOST ![In: Smart Homes and Health Telematics, 6th International Conference, ICOST 2008, Ames, IA, USA, June 28-July 2, 2008, Proceedings, pp. 81-89, 2008, Springer, 978-3-540-69914-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETN ![In: Artificial Intelligence: Theories, Models and Applications, 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008. Proceedings, pp. 226-238, 2008, Springer, 978-3-540-87880-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 1(3), pp. 195-221, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 42(1-3), pp. 227-253, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Logic: Logic Programming and Beyond ![In: Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II, pp. 452-490, 2002, Springer, 3-540-43960-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
35 | Pinar Yolum, Munindar P. Singh |
Flexible protocol specification and execution: applying event calculus planning using commitments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings, pp. 527-534, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTDB ![In: Active, Real-Time, and Temporal Database Systems, Second International Workshop, ARTDB-97, Como, Italy, September 8-9, 1997, Proceedings, pp. 212-227, 1997, Springer, 3-540-65649-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFSQ ![In: Requirements Engineering: Foundation for Software Quality, 15th International Working Conference, REFSQ 2009, Amsterdam, The Netherlands, June 8-9, 2009, Proceedings, pp. 74-88, 2009, Springer, 978-3-642-02049-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBIA ![In: Advances in Artificial Intelligence - SBIA 2004, 17th Brazilian Symposium on Artificial Intelligence, São Luis, Maranhão, Brazil, September 29 - October 1, 2004, Proceedings, pp. 62-72, 2004, Springer, 3-540-23237-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Agents ![In: Proceedings of the Fifth International Conference on Autonomous Agents, AGENTS 2001, Montreal, Canada, May 28 - June 1, 2001, pp. 1-8, 2001, ACM, 1-58113-326-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
B ![In: B 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besançon, France, January 17-19, 2007, Proceedings, pp. 155-170, 2007, Springer, 3-540-68760-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Interrupt Driven Scheduler, Formal Methods, Event Calculus |
30 | Rosa Meo, Giuseppe Psaila, Stefano Ceri |
Composite Events in Chimera. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: Advances in Database Technology - EDBT'96, 5th International Conference on Extending Database Technology, Avignon, France, March 25-29, 1996, Proceedings, pp. 56-76, 1996, Springer, 3-540-61057-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni |
Verification of Choreographies During Execution Using the Reactive Event Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WS-FM ![In: Web Services and Formal Methods, 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers, pp. 55-72, 2008, Springer, 978-3-642-01363-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Nihan Kesim Cicekli, Yakup Yildirim |
Formalizing Workflows Using the Event Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 11th International Conference, DEXA 2000, London, UK, September 4-8, 2000, Proceedings, pp. 222-231, 2000, Springer, 3-540-67978-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Chunping Li |
Representing the Process Semantics in the Event Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000, Proceedings, pp. 118-132, 2000, Springer, 3-540-41131-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Tyrone O'Neill, Norman Y. Foo |
Reasoning about Continuous Change. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI ![In: PRICAI'98, Topics in Artificial Intelligence, 5th Pacific Rim International Conference on Artificial Intelligence, Singapore, November 22-27, 1998, Proceedings, pp. 294-304, 1998, Springer, 3-540-65271-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Fehime Nihan Kesim, Marek J. Sergot |
Versioning of Objects in Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DOOD ![In: Deductive and Object-Oriented Databases, Third International Conference, DOOD'93, Phoenix, Arizona, USA, December 6-8, 1993, Proceedings, pp. 459-472, 1993, Springer, 3-540-57530-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
25 | Alexander Artikis, Marek J. Sergot, Jeremy V. Pitt |
Specifying norm-governed computational societies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 10(1), pp. 1:1-1:42, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEBS ![In: Proceedings of the Third ACM International Conference on Distributed Event-Based Systems, DEBS 2009, Nashville, Tennessee, USA, July 6-9, 2009, 2009, ACM, 978-1-60558-665-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPAC ![In: Proceedings of the 6th International Workshop on Middleware for Pervasive and Ad-hoc Computing (MPAC 2008), held at the ACM/IFIP/USENIX 9th International Middleware Conference, December 1-5, 2008, Leuven, Belgium, pp. 19-24, 2008, ACM, 978-1-60558-364-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
middleware, contract, deontic logic, event calculus |
25 | George Spanoudakis, Christos Kloukinas, Kelly Androutsopoulos |
Towards security monitoring patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 1518-1525, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC ![In: Service-Oriented Computing - ICSOC 2004, Second International Conference, New York, NY, USA, November 15-19, 2004, Proceedings, pp. 84-93, 2004, ACM, 1-58113-871-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (1) ![In: On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS, OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part I, pp. 353-370, 2007, Springer, 978-3-540-76846-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISE ![In: Web Information Systems Engineering - WISE 2005, 6th International Conference on Web Information Systems Engineering, New York, NY, USA, November 20-22, 2005, Proceedings, pp. 426-434, 2005, Springer, 3-540-30017-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Carolyn McGregor, Michael Stacey |
High frequency distributed data stream event correlation to improve neonatal clinical management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEBS ![In: Proceedings of the 2007 Inaugural International Conference on Distributed Event-Based Systems, DEBS 2007, Toronto, Ontario, Canada, June 20-22, 2007, pp. 146-151, 2007, ACM, 978-1-59593-665-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1401.4607, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Artif. Intell. Res. ![In: J. Artif. Intell. Res. 43, pp. 571-620, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
22 | Robert A. Kowalski, Fariba Sadri |
Reconciling the Event Calculus With the Situation Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Program. ![In: J. Log. Program. 31(1-3), pp. 39-58, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
22 | Kristof Van Belleghem, Marc Denecker, Danny De Schreye |
On the Relation Between Situation Calculus and Event Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Program. ![In: J. Log. Program. 31(1-3), pp. 3-37, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
22 | Alessandro Provetti |
Hypothetical Reasoning about Actions: From Situation Calculus to Event Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Intell. ![In: Comput. Intell. 12, pp. 478-498, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
22 | Kristof Van Belleghem, Marc Denecker, Danny De Schreye |
Combining Situation Calculus and Event Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming, Tokyo, Japan, June 13-16, 1995, pp. 83-97, 1995, MIT Press, 0-262-69177-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
22 | Rob Miller 0002 |
Situation Calculus Specifications for Event Calculus Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, Third International Conference, LPNMR'95, Lexington, KY, USA, June 26-28, 1995, Proceedings, pp. 217-230, 1995, Springer, 3-540-59487-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
22 | Robert A. Kowalski, Fariba Sadri |
The Situation Calculus and Event Calculus Compared. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILPS ![In: Logic Programming, Proceedings of the 1994 International Symposium, Ithaca, New York, USA, November 13-17, 1994, pp. 539-553, 1994, MIT Press, 0-262-52191-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
22 | Alessandro Provetti |
Hypothetical Reasoning from Situation Calculus to Event Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the TIME-94 International Workshop on Temporal Reasoning, Pensacola, Florida, USA, May 4, 1994, pp. 42-47, 1994, University of Regina, Regina, SK, Canada, 0-7731-0278-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
21 | Khaled Mahbub, George Spanoudakis |
Monitoring WS-Agreement s: An Event Calculus-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Test and Analysis of Web Services ![In: Test and Analysis of Web Services, pp. 265-306, 2007, Springer, 978-3-540-72912-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | George Spanoudakis, Khaled Mahbub |
Requirements Monitoring for Service-Based Systems: Towards a framework based on Event Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 20-25 September 2004, Linz, Austria, pp. 379-384, 2004, IEEE Computer Society, 0-7695-2131-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Arosha K. Bandara, Emil Lupu, Alessandra Russo |
Using Event Calculus to Formalise Policy Specification and Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POLICY ![In: 4th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2003), 4-6 June 2003, Lake Como, Italy, pp. 26-, 2003, IEEE Computer Society, 0-7695-1933-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POLICY ![In: 3rd International Workshop on Policies for Distributed Systems and Networks (POLICY 2002), 5-7 June 2002, Monterey, CA, USA, pp. 13-24, 2002, IEEE Computer Society, 0-7695-1611-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Sergio Brandano |
The Event Calculus Assessed. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Eigth International Symposium on Temporal Representation and Reasoning, TIME-01, Civdale del Friuli, Italy, June 14-16, 2001, pp. 7-12, 2001, IEEE Computer Society, 0-7695-1107-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Leliane Nunes de Barros, Paulo E. Santos |
The Nature of Knowledge in an Abductive Event Calculus Planner. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EKAW ![In: Knowledge Acquisition, Modeling and Management, 12th International Conference, EKAW 2000, Juan-les-Pins, France, October 2-6, 2000, Proceedings, pp. 328-343, 2000, Springer, 3-540-41119-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Murray Shanahan |
The Event Calculus Explained. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artificial Intelligence Today ![In: Artificial Intelligence Today: Recent Trends and Developments, pp. 409-430, 1999, Springer, 3-540-66428-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Stephen G. Pimentel, John L. Cuadrado |
The Event Calculus and Consistency Maintenance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE (Vol. 2) ![In: Proceedings of the Third International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 1990, July 15-18, 1990, The Mills House Hotel, Charleston, SC, USA - Volume 2, pp. 1162-1166, 1990, ACM, 0-89791-372-8. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
19 | Luca Chittaro, Carlo Combi |
Reasoning about Events with Imprecise Location and Multiple Granularities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 10th International Conference, DEXA '99, Florence, Italy, August 30 - September 3, 1999, Proceedings, pp. 1006-1017, 1999, Springer, 3-540-66448-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Nikos Katzouris, Alexander Artikis, Georgios Paliouras |
Parallel online event calculus learning for complex event recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Future Gener. Comput. Syst. ![In: Future Gener. Comput. Syst. 94, pp. 468-478, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Alexandros Mavrommatis, Alexander Artikis, Anastasios Skarlatidis, Georgios Paliouras |
A Distributed Event Calculus for Event Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI-IoT@ECAI ![In: Proceedings of the 2nd Workshop on Artificial Intelligence and Internet of Things co-located with the 22nd European Conference on Artificial Intelligence (ECAI 2016), The Hague, Netherlands, August 30, 2016., pp. 31-37, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
18 | Anastasios Skarlatidis, Georgios Paliouras, Alexander Artikis, George A. Vouros |
Probabilistic Event Calculus for Event Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 16(2), pp. 11:1-11:37, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Alexander Artikis, Marek J. Sergot, Georgios Paliouras |
An Event Calculus for Event Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 27(4), pp. 895-908, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Anastasios Skarlatidis, Georgios Paliouras, Alexander Artikis, George A. Vouros |
Probabilistic Event Calculus for Event Recognition ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1207.3270, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
18 | Lode Missiaen |
Ecsim: discrete Event Simulation using Event Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Artif. Intell. Tools ![In: Int. J. Artif. Intell. Tools 4(1-2), pp. 135-156, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
18 | Lode Missiaen |
Discrete Event Simulation using Event Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: Sixth International Conference on Tools with Artificial Intelligence, ICTAI '94, New Orleans, Louisiana, USA, November 6-9, 1994, pp. 506-512, 1994, IEEE Computer Society, 0-8186-6785-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Thein Than Tun, Yijun Yu, Charles B. Haley, Bashar Nuseibeh |
Model-Based Argument Analysis for Evolving Security Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSIRI ![In: Fourth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2010, Singapore, June 9-11, 2010, pp. 88-97, 2010, IEEE Computer Society, 978-0-7695-4086-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Security argumentation, OpenPF, Requirements Engineering, Evolution, Event Calculus |
17 | Nuno Amálio |
Suspicion-Driven Formal Analysis of Security Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SECURWARE ![In: The Third International Conference on Emerging Security Information, Systems and Technologies, SECURWARE 2009, 18-23 June 2009, Athens/Glyfada, Greece, pp. 217-223, 2009, IEEE Computer Society, 978-0-7695-3668-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AmI ![In: Ambient Intelligence, European Conference, AmI 2009, Salzburg, Austria, November 18-21, 2009. Proceedings, pp. 112-117, 2009, Springer, 978-3-642-05407-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCESM ![In: SCESM '06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, Shanghai, China, May 27, 2006, pp. 29-36, 2006, ACM, 1-59593-394-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 8(5), pp. 724-741, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 3(4), pp. 504-524, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSCC ![In: Proceedings of The 2nd IEEE Asia-Pacific Services Computing Conference, APSCC 2007, December 11-14, 2007, Tsukuba Science City, Japan, pp. 527-534, 2007, IEEE Computer Society, 0-7695-3051-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | John Knottenbelt, Keith Clark |
Contract-Related Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems, 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers, pp. 226-242, 2005, Springer, 3-540-33996-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Arosha K. Bandara, Emil Lupu, Jonathan D. Moffett, Alessandra Russo |
A Goal-based Approach to Policy Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POLICY ![In: 5th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2004), 7-9 June 2004, Yorktown Heights, NY, USA, pp. 229-239, 2004, IEEE Computer Society, 0-7695-2141-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Stephen Moyle |
Using Theory Completion to Learn a Robot Navigation Control Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILP ![In: Inductive Logic Programming, 12th International Conference, ILP 2002, Sydney, Australia, July 9-11, 2002. Revised Papers, pp. 182-197, 2002, Springer, 3-540-00567-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Iliano Cervesato, Angelo Montanari |
A Calculus of Macro-Events: Progress Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Seventh International Workshop on Temporal Representation and Reasoning, TIME 2000, Nova Scotia, Canada, July 7-9, 2000, pp. 47-58, 2000, IEEE Computer Society, 0-7695-0756-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Processes, Temporal Reasoning |
15 | Nihan Kesim Cicekli |
A Temporal Reasoning Approach to Model Workflow Activities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NGITS ![In: Next Generation Information Technologies and Systems, 4th International Workshop, NGITS'99, Zikhron-Yaakov, Israel, July 5-7, 1999 Proceedings, pp. 256-266, 1999, Springer, 3-540-66225-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Massimo Franceschet, Angelo Montanari |
Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI*IA ![In: AI*IA 99:Advances in Artificial Intelligence, 6th Congress of the Italian Association for Artificial Intelligence, Bologna, Italy, September 14-17, 1999, Proceedings, pp. 131-142, 1999, Springer, 3-540-67350-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Xiaohui Zhao 0001, Chengfei Liu, Tao Lin |
Enhancing Business Process Automation by Integrating RFID Data and Events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (1) ![In: On the Move to Meaningful Internet Systems: OTM 2009, Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009, Vilamoura, Portugal, November 1-6, 2009, Proceedings, Part I, pp. 255-272, 2009, Springer, 978-3-642-05147-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Vadim Ermolayev, Natalya Keberle, Wolf-Ekkehard Matzke |
An Ontology of Environments, Events, and Happenings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland, pp. 539-546, 2008, IEEE Computer Society, 978-0-7695-3262-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 34(1), pp. 27-81, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002, Proceedings, pp. 22-37, 2002, Springer, 3-540-43930-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 165, pp. 109101, February 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 23(5), pp. 1070-1093, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Nikos Katzouris, Georgios Paliouras, Alexander Artikis |
Online Learning Probabilistic Event Calculus Theories in Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 23(2), pp. 362-386, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Franz Krause, Xi Yan, Baptiste Darnala, Michel Dumontier |
On the Combination of Event Calculus and Empirical Semantic Drifts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESWC Workshops ![In: Joint Proceedings of the ESWC 2023 Workshops and Tutorials co-located with 20th European Semantic Web Conference (ESWC 2023), Hersonissos, Greece, May 28-29, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
13 | Periklis Mantenoglou |
An Event Calculus for Run-Time Reasoning (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 30th International Symposium on Temporal Representation and Reasoning, TIME 2023, September 25-26, 2023, NCSR Demokritos, Athens, Greece, pp. 14:1-14:3, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-298-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Efthimis Tsilionis, Alexander Artikis, Georgios Paliouras |
Incremental Event Calculus for Run-Time Reasoning (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China, pp. 6974-6978, 2023, ijcai.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Mustafa Hashmi |
On Modelling Process Aspects With Deontic Event-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Serv. Sci. Manag. Eng. Technol. ![In: Int. J. Serv. Sci. Manag. Eng. Technol. 13(2), pp. 1-19, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Learn. ![In: Mach. Learn. 111(7), pp. 2435-2487, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Efthimis Tsilionis, Alexander Artikis, Georgios Paliouras |
Incremental Event Calculus for Run-Time Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Artif. Intell. Res. ![In: J. Artif. Intell. Res. 73, pp. 967-1023, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.13043, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 22(1), pp. 51-80, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Domain-Specific Conceptual Modeling ![In: Domain-Specific Conceptual Modeling - Concepts, Methods and ADOxx Tools, pp. 457-477, 2022, Springer, 978-3-030-93546-7. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages - 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17-18, 2022, Proceedings, pp. 181-190, 2022, Springer, 978-3-030-94478-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Joost T. de Kruijff, Hans Weigand |
Formalizing commitments using the event calculus and RuleML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Ontology ![In: Appl. Ontology 16(4), pp. 395-420, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Alexander Artikis, Evangelos Makris, Georgios Paliouras |
A probabilistic interval-based event calculus for activity recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 89(1-2), pp. 29-52, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Nikoleta Tsampanaki, Theodore Patkos, Giorgos Flouris, Dimitris Plexousakis |
Revising event calculus theories to recover from unexpected observations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 89(1-2), pp. 209-236, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.14566, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCVS@ETAPS ![In: Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis, HCVS@ETAPS 2021, Virtual, 28th March 2021., pp. 79-90, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Nikos Katzouris, Alexander Artikis, Georgios Paliouras |
Online Learning Probabilistic Event Calculus Theories in Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2104.00158, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Peter Baumgartner 0001 |
Combining Event Calculus and Description Logic Reasoning via Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2109.04803, 2021. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshops ![In: Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), Porto, Portugal (virtual), September 20th-21st, 2021., 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
13 | Oliver Ray |
Learning and Revising Dynamic Temporal Theories in the Full Discrete Event Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILP ![In: Inductive Logic Programming - 30th International Conference, ILP 2021, Virtual Event, October 25-27, 2021, Proceedings, pp. 219-233, 2021, Springer, 978-3-030-97453-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Peter Baumgartner 0001 |
Combining Event Calculus and Description Logic Reasoning via Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings, pp. 98-117, 2021, Springer, 978-3-030-86204-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Joost T. de Kruijff, Hans Weigand |
Formalising Commitments Using the Event Calculus (full paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMBO ![In: Proceedings of 14th International Workshop on Value Modelling and Business Ontologies, Brussels, Belgium, January 16-17, 2020., pp. 179-190, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Periklis Mantenoglou, Alexander Artikis, Georgios Paliouras |
Online Probabilistic Interval-Based Event Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020), pp. 2624-2631, 2020, IOS Press, 978-1-64368-100-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. Appl. ![In: Expert Syst. Appl. 132, pp. 256-270, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 254 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ >>] |
|