Sciweavers

4401 search results - page 29 / 881
» Computing with Default Logic
Sort
View
IBERAMIA
2004
Springer
14 years 2 months ago
Well Founded Semantics for Logic Program Updates
Over the last years various semantics have been proposed for dealing with updates of logic programs by (other) logic programs. Most of these semantics extend the stable models sema...
Federico Banti, José Júlio Alferes, ...
SCP
1998
163views more  SCP 1998»
13 years 8 months ago
Computing with Continuous Change
A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exemplified by the theory ...
Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat
FUZZY
1997
Springer
133views Fuzzy Logic» more  FUZZY 1997»
14 years 24 days ago
Local Search for Computing Normal Circumstances Models
Bertrand Mazure, Lakhdar Sais, Éric Gr&eacu...