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

Kategorier

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

AvJosé Júlio Alferes,Moa Johansson

Häftad, Engelska, 2018

561 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.

Practical Aspects of Declarative Languages

21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings

AvMoa Johansson,Jose Julio Alferes

E-bok

Engelska, 2018

714 kr

Läs direkt efter köp

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

AvJose Julio Alferes,Leopoldo Bertossim. fl.

Häftad, Engelska, 2016

1 114 kr

Skickas inom 10-15 vardagar

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.

Rule Technologies. Research, Tools, and Applications

10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings

AvDumitru Roman,Paul Fodorm. fl.

E-bok

PDF, Engelska, 2016

1 408 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.

Principles and Practice of Semantic Web Reasoning

4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers

AvJosé Júlio Alferes,James Baileym. fl.

Häftad, Engelska, 2006

561 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.

Principles and Practice of Semantic Web Reasoning

4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers

AvUta Schwertel,Wolfgang Maym. fl.

E-bok

PDF, Engelska, 2006

708 kr

Läs direkt efter köp

Reasoning with Logic Programming

AvJose Julio Alferes,Luis Moniz Pereira

Häftad, Engelska, 1996

561 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.

Logics in Artificial Intelligence

European Workshop, JELIA '96, Evora, Portugal, September 30 - October 3, 1996, Proceedings

AvJose Julio Alferes,Luis Moniz Pereiram. fl.

Häftad, Engelska, 1996

561 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.

Företag, bibliotek eller offentlig verksamhet?

José Júlio Alferes – författare

Practical Aspects of Declarative Languages

Practical Aspects of Declarative Languages

Rule Technologies. Research, Tools, and Applications

Rule Technologies. Research, Tools, and Applications

Principles and Practice of Semantic Web Reasoning

Principles and Practice of Semantic Web Reasoning

Reasoning with Logic Programming

Logics in Artificial Intelligence

Mina sidor

Mina sidor

Hjälp

Hjälp

Om Bokus

Om Bokus

Populärt

Populärt

Inspiration

Inspiration