EnglishUnlimited Access
For Registered Users
To contact us, you can contact us via the following mobile numbers by calling and WhatsApp
For Registered Users
100% Secure Payment
10 Days Returns
Call Us Anytime
edition: [1 ed.] Authors: Georg Gottlob (auth.), Craig MacNish, David Pearce, Luís Moniz Pereira (eds.) serie: Lecture Notes in Computer Science 838 : Lecture Notes in Artificial Intelligence ISBN : 3540583327, 9783540583325 publisher: Springer-Verlag Berlin Heidelberg publish year: 1994 pages: 416 [423] language: English ebook format : DJVU (It will be converted to PDF, EPUB OR AZW3 if requested by the user) file size: 4 Mb
From Carnap\'s modal logic to autoepistemic logic....Pages 1-18
Compactness properties of nonmonotonic inference operations....Pages 19-33
Around a powerful property of circumscriptions....Pages 34-49
The computational value of joint consistency....Pages 50-65
Belief dynamics, abduction, and databases....Pages 66-85
On the logic of theory base change....Pages 86-105
Belief, provability, and logic programs....Pages 106-121
Revision specifications by means of programs....Pages 122-136
Revision of non-monotonic theories....Pages 137-151
A complete connection calculus with rigid E-unification....Pages 152-166
Equality and constrained resolution....Pages 167-181
Efficient strategies for Automated reasoning in modal logics....Pages 182-197
TAS-D ++ : Syntactic trees transformations for Automated Theorem Proving....Pages 198-216
A unification of ordering refinements of resolution in classical logic....Pages 217-230
Two logical dimensions....Pages 231-231
Prioritized autoepistemic logic....Pages 232-246
Adding priorities and specificity to default logic....Pages 247-260
Viewing hypothesis theories as constrained graded theories....Pages 261-278
Temporal theories of reasoning....Pages 279-299
Reasoning about knowledge on computation trees....Pages 300-315
Prepositional state event logic....Pages 316-331
Description Logics with inverse roles, functional restrictions, and n-ary relations....Pages 332-346
On the concept of generic object: A nonmonotonic reasoning approach and examples....Pages 347-363
Autoepistemic logic of minimal beliefs....Pages 364-364
How to use modalities and sorts in Prolog....Pages 365-378
Towards resource handling in logic programming: The PPL framework and its semantics....Pages 379-399
Extending Horn clause theories by reflection principles....Pages 400-413
