Travelled to:1 × United Kingdom
2 × USA
Collaborated with:L.Forget M.Cordier P.Besnard G.Audemard B.Benhamou
Talks about:reason (2) logic (2) preferenti (1) represent (1) nonmonton (1) supposit (1) theorem (1) tempor (1) method (1) world (1)
Person: Pierre Siegel
DBLP: Siegel:Pierre
Contributed to:
2000
19961992
1988Wrote 4 papers:
- CL-2000-AudemardBS #named #satisfiability
- AVAL: An Enumerative Method for SAT (GA, BB, PS), pp. 373–383.
- KR-1996-SiegelF #logic #representation #theorem
- A Representation Theorem for Preferential Logics (PS, LF), pp. 453–460.
- KR-1992-CordierS #reasoning
- A Temporal Revision Model for Reasoning about World Change (MOC, PS), pp. 732–739.
- CADE-1988-BesnardS #automation #logic #reasoning
- Supposition-Based Logic for Automated Nonmontonic Reasoning (PB, PS), pp. 592–601.