Book Chapter
A parallel implementation of the EQUIP expert system
J. W. Spee
Lecture Notes in Computer Science, 1991, Volume 503, Parallel Database Systems, Pages 294-308
Book Chapter
The LILOG inference engine
Toni Bollinger, Sven Lorenz and Udo Pletat
Lecture Notes in Computer Science, 1991, Volume 546, Text Understanding in LILOG, Pages 402-427
Book Chapter
ENHANCED DESIGN CHECKING INVOLVING CONSTRAINTS, COLLABORATION AND ASSUMPTIONS
Ontology-supported Rationale for Collaborative Argumentation
JANET BURGE JAMES KIPER, PEDRITO MAYNARD-ZHANG and STEPHAN CORNFORD
2006, Design Computing and Cognition ’06, Part 9, Pages 655-674
Book Chapter
Declarative semantics for inconsistent database programs
Marion Sarkis Mircheva
Lecture Notes in Computer Science, 1992, Volume 633, Logics in AI, Pages 252-261
Book Chapter
Automated time table generation using multiple context reasonig with truth maintenance
Vevek Ram and Chris Scogings
Lecture Notes in Computer Science, 1996, Volume 1153, Practice and Theory of Automated Timetabling, Pages 106-111
Book Chapter
A Linear Logic of Authorization and Knowledge
Deepak Garg, Lujo Bauer, Kevin D. Bowers, Frank Pfenning and Michael K. Reiter
Lecture Notes in Computer Science, 2006, Volume 4189, Computer Security – ESORICS 2006, Pages 297-312
Book Chapter
Consistent Integration for Sequential Abstract State Machines
Marianna Nicolosi Asmundo and Elvinia Riccobene
Lecture Notes in Computer Science, 2003, Volume 2589, Abstract State Machines 2003, Pages 324-340
Book Chapter
Rough Sets and Gradual Decision Rules
Salvatore Greco, Masahiro Inuiguchi and Roman Słowiński
Lecture Notes in Computer Science, 2003, Volume 2639, Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, Page 583
Journal Article
Causes, laws, and law statements
Donald Nute
Synthese, 1981, Volume 48, Number 3, Pages 347-369
Book Chapter
Computing extensions of terminological default theories
Franz Baader and Bernhard Hollunder
Lecture Notes in Computer Science, 1994, Volume 810, Foundations of Knowledge Representation and Reasoning, Pages 30-52