Abstract | ||
---|---|---|
. We apply logic program development technology to defineabstract proof procedures, in the form of logic programs, for computingthe admissibility semantics for default reasoning proposed in [2].The proof procedures are derived from a formal specification. The derivationguarantees the soundness of the proof procedures. The completenessof the proof procedures is shown by employing a technique of symbolicexecution of logic programs to compute (an instance of) a relation impliedby the... |
Year | DOI | Venue |
---|---|---|
1996 | 10.1007/3-540-62718-9_18 | LOPSTR |
Keywords | Field | DocType |
default reasoning,proof procedures,formal specification | Default logic,Automated reasoning,Computer science,Algorithm,Deductive reasoning,Artificial intelligence,Symbolic execution,Non-monotonic logic,Logic programming,Reasoning system,Semantics | Conference |
Volume | ISSN | ISBN |
1207 | 0302-9743 | 3-540-62718-9 |
Citations | PageRank | References |
6 | 1.42 | 11 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
phan minh dung | 1 | 1965 | 152.55 |
Robert A. Kowalski | 2 | 4187 | 1066.36 |
Francesca Toni | 3 | 291 | 33.16 |