Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1401.4607
Cited By
Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming
Journal of Artificial Intelligence Research (JAIR), 2014
18 January 2014
Joohyung Lee
R. Palla
LRM
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming"
10 / 10 papers shown
Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text
Annual Meeting of the Association for Computational Linguistics (ACL), 2023
Zhun Yang
Adam Ishay
Joohyung Lee
LRM
ELM
283
86
0
15 Jul 2023
Toward A Logical Theory Of Fairness and Bias
Theory and Practice of Logic Programming (TPLP), 2023
Vaishak Belle
FaML
363
2
0
08 Jun 2023
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming
International Workshop/Symposium on Logic-based Program Synthesis and Transformation (LOPSTR), 2019
Joaquín Arias
Manuel Carro
Zhuo Chen
G. Gupta
LRM
71
23
0
28 Jun 2021
Temporal Answer Set Programming
International Conference on Logic Programming (ICLP), 2020
Felicidad Aguado
Pedro Cabalar
Martín Diéguez
Gilberto Perez
Torsten Schaub
Anna Schuhmann
Concepcion Vidal
KELM
LRM
113
4
0
14 Sep 2020
Practical Reasoning with Norms for Autonomous Software Agents (Full Edition)
Engineering applications of artificial intelligence (EAAI), 2017
Z. Shams
Marina De Vos
Julian Padget
W. Vasconcelos
146
14
0
28 Jan 2017
An Event Calculus Production Rule System for Reasoning in Dynamic and Uncertain Domains
Theodore Patkos
Dimitris Plexousakis
A. Chibani
Y. Amirat
LRM
123
6
0
14 Dec 2015
h-approximation: History-Based Approximation of Possible World Semantics as ASP
Manfred Eppe
M. Bhatt
F. Dylla
258
3
0
17 Apr 2013
Two New Definitions of Stable Models of Logic Programs with Generalized Quantifiers
International Conference on Logic Programming (ICLP), 2013
Joohyung Lee
Yunsong Meng
LRM
88
5
0
08 Jan 2013
Module Theorem for The General Theory of Stable Models
Theory and Practice of Logic Programming (TPLP), 2012
Joseph Babb
Joohyung Lee
109
2
0
18 Oct 2012
Probabilistic Event Calculus for Event Recognition
ACM Transactions on Computational Logic (TOCL), 2012
Anastasios Skarlatidis
George Giannakopoulos
A. Artikis
G. Vouros
267
78
0
13 Jul 2012
1
Page 1 of 1
