José Júlio Alferes – författare
Visar alla böcker från författaren José Júlio Alferes. Handla med fri frakt och snabb leverans.
8 produkter
8 produkter
Del 11372 - Lecture Notes in Computer Science
Practical Aspects of Declarative Languages
21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings
Häftad, Engelska, 2018
559 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 21st International Conference on Practical Aspects of Declarative Languages, PADL 2019, held in Lisbon, Portugal, in January 2019. The 14 revised full papers were carefully reviewed and selected from 35 submissions. The papers present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including logic, constraint, and functional languages.
E-bok
Engelska, 2018734 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the 21st International Conference on Practical Aspects of Declarative Languages, PADL 2019, held in Lisbon, Portugal, in January 2019. The 14 revised full papers were carefully reviewed and selected from 35 submissions. The papers present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including logic, constraint, and functional languages.
Del 9718 - Lecture Notes in Computer Science
Rule Technologies. Research, Tools, and Applications
10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings
Häftad, Engelska, 2016
1 112 kr
Skickas inom 10-15 vardagar
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 production rule systems, logic programming rule engines, and business rule engines and business rule management systems, Semantic Web rule languages and rule standards and technologies, and research on inference rules, transformation rules, decision rules, and ECA rules.
E-bok
PDF, Engelska, 20161 459 kr
Läs direkt efter köp
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 production rule systems, logic programming rule engines, and business rule engines and business rule management systems, Semantic Web rule languages and rule standards and technologies, and research on inference rules, transformation rules, decision rules, and ECA rules.
Häftad, Engelska, 2006
559 kr
Skickas inom 10-15 vardagar
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.
E-bok
PDF, Engelska, 2006734 kr
Läs direkt efter köp
Häftad, Engelska, 1996
559 kr
Skickas inom 10-15 vardagar
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 information is included together with a bibliography listing 215 entries as well as the listing of the Prolog interpreter used in the text for running numerous examples.
Häftad, Engelska, 1996
559 kr
Skickas inom 10-15 vardagar
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.