Logics in Artificial Intelligence : European Workshop JELIA '94, York, UK, September 5-8, 1994. Proceedings

This book constitutes the proceedings of the 1994 European Workshop on Logics in Artificial Intelligence, held at York, UK in September 1994. The 24 papers presented were selected from a total of 79 submissions; in addition there are two abstracts of invited talks and one full paper of the invited p...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: MacNish, Craig (Editor), Pearce, David (Editor), Pereira, Luis M. (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 1994, 1994
Edition:1st ed. 1994
Series:Lecture Notes in Artificial Intelligence
Subjects:
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
LEADER 03374nmm a2200361 u 4500
001 EB000658676
003 EBX01000000000000000511758
005 00000000000000.0
007 cr|||||||||||||||||||||
008 140122 ||| eng
020 |a 9783540486572 
100 1 |a MacNish, Craig  |e [editor] 
245 0 0 |a Logics in Artificial Intelligence  |h Elektronische Ressource  |b European Workshop JELIA '94, York, UK, September 5-8, 1994. Proceedings  |c edited by Craig MacNish, David Pearce, Luis M. Pereira 
250 |a 1st ed. 1994 
260 |a Berlin, Heidelberg  |b Springer Berlin Heidelberg  |c 1994, 1994 
300 |a IX, 416 p  |b online resource 
505 0 |a From Carnap's modal logic to autoepistemic logic -- Compactness properties of nonmonotonic inference operations -- Around a powerful property of circumscriptions -- The computational value of joint consistency -- Belief dynamics, abduction, and databases -- On the logic of theory base change -- Belief, provability, and logic programs -- Revision specifications by means of programs -- Revision of non-monotonic theories -- A complete connection calculus with rigid E-unification -- Equality and constrained resolution -- Efficient strategies for Automated reasoning in modal logics -- TAS-D++: Syntactic trees transformations for Automated Theorem Proving -- A unification of ordering refinements of resolution in classical logic -- Two logical dimensions -- Prioritized autoepistemic logic -- Adding priorities and specificity to default logic -- Viewing hypothesis theories as constrained graded theories -- Temporal theories of reasoning -- Reasoning about knowledge on computation trees -- Prepositional state event logic -- Description Logics with inverse roles, functional restrictions, and n-ary relations -- On the concept of generic object: A nonmonotonic reasoning approach and examples -- Autoepistemic logic of minimal beliefs -- How to use modalities and sorts in Prolog -- Towards resource handling in logic programming: The PPL framework and its semantics -- Extending Horn clause theories by reflection principles 
653 |a Mathematical Logic and Formal Languages 
653 |a Mathematical logic 
653 |a Artificial Intelligence 
653 |a Artificial intelligence 
653 |a Logics and Meanings of Programs 
653 |a Computer logic 
700 1 |a Pearce, David  |e [editor] 
700 1 |a Pereira, Luis M.  |e [editor] 
710 2 |a SpringerLink (Online service) 
041 0 7 |a eng  |2 ISO 639-2 
989 |b SBA  |a Springer Book Archives -2004 
490 0 |a Lecture Notes in Artificial Intelligence 
856 |u https://doi.org/10.1007/BFb0021960?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 006.3 
520 |a This book constitutes the proceedings of the 1994 European Workshop on Logics in Artificial Intelligence, held at York, UK in September 1994. The 24 papers presented were selected from a total of 79 submissions; in addition there are two abstracts of invited talks and one full paper of the invited presentation by Georg Gottlob. The papers point out that, with the depth and maturity of formalisms and methodologies available in AI today, logics provide a formal basis for the study of the whole field of AI. The volume offers sections on nonmonotonic reasoning, automated reasoning, logic programming, knowledge representation, and belief revision