Notepad
The notepad is empty.
The basket is empty.
Free shipping possible
Please wait - the print view of the page is being prepared.
The print dialogue opens as soon as the page has been completely loaded.
If the print preview is incomplete, please close it and select "Print again".

Logics in Artificial Intelligence

15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings
BookPaperback
Ranking8443in
CHF110.00

Description

The accepted papers span a number of areas within Logics in AI, including: belief revision, answer set programming, argumentation, probabilistic reasoning, handling inconsistencies, temporal logics and planning, description logics, and decidability and complexity results.
More descriptions

Details

ISBN/GTIN978-3-319-48757-1
Product TypeBook
BindingPaperback
PublisherSpringer
Publishing date01/11/2016
Edition1st ed. 2016
SeriesLecture Notes in Computer Science
Series no.10021
Pages586 pages
LanguageEnglish
SizeWidth 155 mm, Height 235 mm
Weight9066 g
IllustrationsXXII, 586 p. 70 illus., schwarz-weiss Illustrationen
Article no.4536994
CatalogsBuchzentrum
Data source no.20944723
More details

Series

Author

More products from Michael, Loizos

Editor

Subjects

BZ
Application software
Applications ~ Computer and Information Systems Applications
Applications ~ Information Systems Applications (incl. Internet)
Artificial Intelligence
Automata ~ Formal Languages and Automata Theory
C
Computer Science Logic and Foundations of Programming
Computer and Information Systems Applications
Computer architecture & logic design
Computer logic
Computer programming / software engineering
Database Management
Databases
Engineering ~ Software Engineering
Formal Languages and Automata Theory
Formal ~ Mathematical Logic and Formal Languages
Foundations ~ Computer Science Logic and Foundations of Programming
Information Retrieval
Information Systems Applications (incl. Internet)
Information ~ Computer and Information Systems Applications
Intelligence ~ Artificial Intelligence
Internet searching
Internet ~ Information Systems Applications (incl. Internet)
Languages ~ Formal Languages and Automata Theory
Languages ~ Mathematical Logic and Formal Languages
Logic ~ Computer Science Logic and Foundations of Programming
Logic ~ Mathematical Logic and Formal Languages
Logics and Meanings of Programs
Management ~ Database Management
Mathematical Logic and Formal Languages
Mathematical logic
Mathematical theory of computation
Meanings ~ Logics and Meanings of Programs
Programming ~ Computer Science Logic and Foundations of Programming
Programs ~ Logics and Meanings of Programs
Retrieval ~ Information Retrieval
Science ~ Computer Science Logic and Foundations of Programming
Software Engineering
Systems ~ Computer and Information Systems Applications
Systems ~ Information Systems Applications (incl. Internet)
Theory ~ Formal Languages and Automata Theory
and ~ Computer Science Logic and Foundations of Programming
and ~ Computer and Information Systems Applications
and ~ Formal Languages and Automata Theory
and ~ Logics and Meanings of Programs
and ~ Mathematical Logic and Formal Languages
architecture ~ Computer architecture & logic design
computation ~ Mathematical theory of computation
computer science
database programming
design ~ Computer architecture & logic design
engineering ~ Computer programming / software engineering
logic ~ Computer architecture & logic design
logic ~ Computer logic
logic ~ Mathematical logic
programming ~ Computer programming / software engineering
programming ~ database programming
science ~ computer science
searching ~ Internet searching
software ~ Application software
software ~ Computer programming / software engineering
theory ~ Mathematical theory of computation
VLB main reading rationale