wyszukanych pozycji: 6
Practical Aspects of Declarative Languages: 21th International Symposium, Padl 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings
ISBN: 9783030059972 / Angielski / Miękka / 2018 / 239 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
195,42 zł |
Rule Technologies. Research, Tools, and Applications: 10th International Symposium, Ruleml 2016, Stony Brook, Ny, Usa, July 6-9, 2016. Proceedings
ISBN: 9783319420189 / Angielski / Miękka / 2016 / 351 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 10th International RuleML Symposium, RuleML 2016, held in New York, NY, USA during July 2016. The 19 full papers, 1 short paper, 2 keynote abstracts, 2 invited tutorial papers, 1 invited standard paper, presented were carefully reviewed and selected from 36 submissions.RuleML is a leading conference aiming to build bridges between academia and industry in the field of rules and its applications, especially as part of the semantic technology stack. It is devoted to rule-based programming and rule-based systems including... This book constitutes the refereed proceedings of the 10th International RuleML Symposium, RuleML 2016, held in New York, NY, USA during July 2016.... |
|
cena:
390,87 zł |
Reasoning with Logic Programming
ISBN: 9783540614883 / Angielski / Miękka / 1996 / 336 str. Termin realizacji zamówienia: ok. 20 dni roboczych. As the first monograph in the field, this state-of-the-art survey provides a rigorous presentation of logic programs as representational and reasoning tools.
The authors used this book successfully as a text for a MSc course. The use of logic programming for various types of reasoning, particularly for nonmonotonic reasoning, is thoroughly investigated and illustrated and a variety of knowledge representation formalisms, like default negation, integrity constraints, default rules, etc., are treated in depth. Besides the main text, detailed introductory background and motivational... As the first monograph in the field, this state-of-the-art survey provides a rigorous presentation of logic programs as representational and reasoning...
|
|
cena:
195,42 zł |
Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings
ISBN: 9783540232421 / Angielski / Miękka / 2004 / 746 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 9th European Conference on Logics in Artificial Intelligence, JELIA 2004, held in Lisbon, Portugal, in September 2004. The 52 revised full papers and 15 revised systems presentation papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from a total of 169 submissions. The papers are organized in topical sections on multi-agent systems; logic programming and nonmonotonic reasoning; reasoning under uncertainty; logic programming; actions and causation; complexity; description logics;... This book constitutes the refereed proceedings of the 9th European Conference on Logics in Artificial Intelligence, JELIA 2004, held in Lisbon, Por... |
|
cena:
390,87 zł |
Principles and Practice of Semantic Web Reasoning: 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers
ISBN: 9783540395867 / Angielski / Miękka / 2006 / 280 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Here are the proceedings of the 4th International Workshop on Principles and Practice of Semantic Web Reasoning, PPSWR 2006. The book presents 14 revised full papers together with 1 invited talk and 6 system demonstrations, addressing major aspects of semantic Web research, namely forms of reasoning with a strong interest in rule-based languages and methods. Coverage includes theoretical work on reasoning methods, concrete reasoning methods and query languages, and practical applications. Here are the proceedings of the 4th International Workshop on Principles and Practice of Semantic Web Reasoning, PPSWR 2006. The book presents 14 r... |
|
cena:
195,42 zł |
Logics in Artificial Intelligence: European Workshop, Jelia '96, Evora, Portugal, September 30 - October 3, 1996, Proceedings
ISBN: 9783540616306 / Angielski / Miękka / 1996 / 426 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book presents the refereed proceedings of the Sixth European Workshop on Logics in Artificial Intelligence, JELIA '96, held in Evora, Portugal in September/October 1996.
The 25 revised full papers included together with three invited papers were selected from 57 submissions. Many relevant aspects of AI logics are addressed. The papers are organized in sections on automated reasoning, modal logics, applications, nonmonotonic reasoning, default logics, logic programming, temporal and spatial logics, and belief revision and paraconsistency. This book presents the refereed proceedings of the Sixth European Workshop on Logics in Artificial Intelligence, JELIA '96, held in Evora, Portugal in...
|
|
cena:
195,42 zł |