Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1509.02012
Cited By
Bounded Situation Calculus Action Theories
7 September 2015
Giuseppe De Giacomo
Yves Lespérance
F. Patrizi
LRM
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Bounded Situation Calculus Action Theories"
8 / 8 papers shown
Planning with Dynamically Changing Domains
Mikhail Soutchanski
Yongmei Liu
LRM
115
1
1
26 Jul 2025
Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories
Till Hofmann
Stefan Schupp
G. Lakemeyer
AI4CE
70
0
0
05 Feb 2024
Abstraction of Nondeterministic Situation Calculus Action Theories -- Extended Version
International Joint Conference on Artificial Intelligence (IJCAI), 2023
B. Banihashemi
G. D. Giacomo
Yves Lespérance
54
3
0
20 May 2023
Planning as Theorem Proving with Heuristics
M. Soutchanski
Ryan Young
LRM
286
5
0
23 Mar 2023
Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version)
S. Ghilardi
Alessandro Gianola
Marco Montali
Andrey Rivkin
203
1
0
12 Aug 2022
A Logical Semantics for PDDL+
Vitaliy Batusov
M. Soutchanski
126
5
0
23 Nov 2021
Lifted Model Checking for Relational MDPs
Machine-mediated learning (ML), 2021
Wen-Chi Yang
Jean-François Raskin
Luc de Raedt
173
6
0
22 Jun 2021
Hybrid Temporal Situation Calculus
Vitaliy Batusov
Giuseppe De Giacomo
M. Soutchanski
54
7
0
12 Jul 2018
1
Page 1 of 1
