Logics in Artificial Intelligence
Contributors: Sergio Flesca (Editor); Giovambattista Ianni (Editor)
Edition: 1 edition
Publisher: Springer
Published: October 28, 2002
Language: eng
Format: Paperback
Number of pages: 585
ISBN-13: 9783540441908
Subjects: Artificial Intelligence; Mathematical And Symbolic Logic; Congresses; Computers; Computers - General Information; Logic, Symbolic and mathematical; Computer Books: General; Logic, Symbolic and mathematic; General; Artificial Intelligence - General; Programming - General; AI Logics; Belief Revision; Computers / Artificial Intelligence; Constraint Satisfaction; Deductive Systems; Description Logics; Expert Systems; Formal Logics; Formal Reasoning; Logic Programming; Logic
First sentence: This paper presents a new logic programming language for modelling Agents and Multi-Agent systems in computational logic.