Download:
|
by Cimatti A, Giunchiglia E, Giunchiglia F, Traverso P, Alessandro Cimatti, Enrico Giunchiglia, Fausto Giunchiglia, Paolo Traverso
http://sra.itc.it/tr/CGGT97a.ps.gz
Add To MetaCart
Abstract:
istituto per la ricerca scientifica e tecnologica
Citations
|
1515
|
Model Checking
– Clarke, Grumberg, et al.
- 1999
|
|
1251
|
Some philosophical problems from the standpoint of artificial intelligence
– McCarthy, Hayes
- 1969
|
|
753
|
Fast planning through planning graph analysis
– Blum, Furst
- 1997
|
|
395
|
UCPOP: A sound, complete, partial order planner for ADL
– PENBERTHY, WELD
|
|
375
|
Symbolic model checking: 10’’ states and beyond
– Burch, Clarke, et al.
- 1990
|
|
144
|
Learning by analogical reasoning in general problem solving
– Veloso
- 1992
|
|
128
|
Nonmonotonic reasoning in the framework of situation calculus
– Baker
- 1991
|
|
78
|
Pushing the Envelope
– Kautz, Selman
- 1996
|
|
62
|
On the frame problem in procedure specifications
– Borgida, Mylopoulos, et al.
- 1995
|
|
57
|
Features and Fluents: A Systematic Approach to the Representation of Knowledge About Dynamical Systems
– Sandewall
- 1994
|
|
18
|
Actions with indirect effects (extended abstract
– Giunchiglia, Kartha, et al.
- 1995
|
|
18
|
Two Components of an Action Language
– Lifschitz
- 1996
|
|
13
|
Symbolic Boolean manipolation with ordered binary-decision diagrams
– Bryant
- 1992
|
|
6
|
Determining ramifications in the situation calculus
– Giunchiglia
- 1996
|
|
1
|
Efficient memory bounded search algorithms
– Russel
- 1992
|
|
1
|
Computer Aided Verification, 7th Int
– Wolper
- 1995
|
