Franz Baader – författare

Visar alla böcker från författaren Franz Baader. Handla med fri frakt och snabb leverans.

21 produkter

Kategorier

21 produkter

Term Rewriting and All That
AvFranz Baader,Tobias Nipkow
Häftad, Engelska, 1999
684 kr
Skickas inom 5-8 vardagar
This textbook offers a unified and self-contained introduction to the field of term rewriting. It covers all the basic material (abstract reduction systems, termination, confluence, completion, and combination problems), but also some important and closely connected subjects: universal algebra, unification theory, Gröbner bases and Buchberger's algorithm. The main algorithms are presented both informally and as programs in the functional language Standard ML (an appendix contains a quick and easy introduction to ML). Certain crucial algorithms like unification and congruence closure are covered in more depth and Pascal programs are developed. The book contains many examples and over 170 exercises. This text is also an ideal reference book for professional researchers: results that have been spread over many conference and journal articles are collected together in a unified notation, proofs of almost all theorems are provided, and each chapter closes with a guide to the literature.
An Introduction to Description Logic
AvFranz Baader,Ian Horrocksm. fl.
Häftad, Engelska, 2017
568 kr
Skickas inom 11-20 vardagar
Description logics (DLs) have a long tradition in computer science and knowledge representation, being designed so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently gained increased importance since they form the logical basis of widely used ontology languages, in particular the web ontology language OWL. Written by four renowned experts, this is the first textbook on description logics. It is suitable for self-study by graduates and as the basis for a university course. Starting from a basic DL, the book introduces the reader to their syntax, semantics, reasoning problems and model theory and discusses the computational complexity of these reasoning problems and algorithms to solve them. It then explores a variety of reasoning techniques, knowledge-based applications and tools and it describes the relationship between DLs and OWL.
The Description Logic Handbook
Theory, Implementation and Applications
AvFranz Baader,Diego Calvanesem. fl.
Häftad, Engelska, 2010
942 kr
Skickas inom 11-20 vardagar
Description logics are embodied in several knowledge-based systems and are used to develop various real-life applications. Now in paperback, The Description Logic Handbook provides a thorough account of the subject, covering all aspects of research in this field, namely: theory, implementation, and applications. Its appeal will be broad, ranging from more theoretically oriented readers, to those with more practically oriented interests who need a sound and modern understanding of knowledge representation systems based on description logics. As well as general revision throughout the book, this new edition presents a new chapter on ontology languages for the semantic web, an area of great importance for the future development of the web. In sum, the book will serve as a unique resource for the subject, and can also be used for self-study or as a reference for knowledge representation and artificial intelligence courses.
An Introduction to Description Logic
AvFranz Baader,Ian Horrocksm. fl.
Inbunden, Engelska, 2017
1 082 kr
Skickas inom 11-20 vardagar
Description logics (DLs) have a long tradition in computer science and knowledge representation, being designed so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently gained increased importance since they form the logical basis of widely used ontology languages, in particular the web ontology language OWL. Written by four renowned experts, this is the first textbook on description logics. It is suitable for self-study by graduates and as the basis for a university course. Starting from a basic DL, the book introduces the reader to their syntax, semantics, reasoning problems and model theory and discusses the computational complexity of these reasoning problems and algorithms to solve them. It then explores a variety of reasoning techniques, knowledge-based applications and tools and it describes the relationship between DLs and OWL.
Introduction to Description Logic
AvUli Sattler,Carsten Lutzm. fl.
E-bok
Engelska, 2017
683 kr
Läs direkt efter köp
Description logics (DLs) have a long tradition in computer science and knowledge representation, being designed so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently gained increased importance since they form the logical basis of widely used ontology languages, in particular the web ontology language OWL. Written by four renowned experts, this is the first textbook on description logics. It is suitable for self-study by graduates and as the basis for a university course. Starting from a basic DL, the book introduces the reader to their syntax, semantics, reasoning problems and model theory and discusses the computational complexity of these reasoning problems and algorithms to solve them. It then explores a variety of reasoning techniques, knowledge-based applications and tools and it describes the relationship between DLs and OWL.
Introduction to Description Logic
AvUli Sattler,Carsten Lutzm. fl.
E-bok
PDF, Engelska, 2017
690 kr
Läs direkt efter köp
Description logics (DLs) have a long tradition in computer science and knowledge representation, being designed so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently gained increased importance since they form the logical basis of widely used ontology languages, in particular the web ontology language OWL. Written by four renowned experts, this is the first textbook on description logics. It is suitable for self-study by graduates and as the basis for a university course. Starting from a basic DL, the book introduces the reader to their syntax, semantics, reasoning problems and model theory and discusses the computational complexity of these reasoning problems and algorithms to solve them. It then explores a variety of reasoning techniques, knowledge-based applications and tools and it describes the relationship between DLs and OWL.
Term Rewriting and All That
AvTobias Nipkow,Franz Baader
E-bok
PDF, Engelska, 1999
910 kr
Läs direkt efter köp
This textbook offers a unified and self-contained introduction to the field of term rewriting. It covers all the basic material (abstract reduction systems, termination, confluence, completion, and combination problems), but also some important and closely connected subjects: universal algebra, unification theory, Gröbner bases and Buchberger''s algorithm. The main algorithms are presented both informally and as programs in the functional language Standard ML (an appendix contains a quick and easy introduction to ML). Certain crucial algorithms like unification and congruence closure are covered in more depth and Pascal programs are developed. The book contains many examples and over 170 exercises. This text is also an ideal reference book for professional researchers: results that have been spread over many conference and journal articles are collected together in a unified notation, proofs of almost all theorems are provided, and each chapter closes with a guide to the literature.
Term Rewriting and All That
AvTobias Nipkow,Franz Baader
E-bok
Engelska, 1999
920 kr
Läs direkt efter köp
This textbook offers a unified and self-contained introduction to the field of term rewriting. It covers all the basic material (abstract reduction systems, termination, confluence, completion, and combination problems), but also some important and closely connected subjects: universal algebra, unification theory, Gröbner bases and Buchberger''s algorithm. The main algorithms are presented both informally and as programs in the functional language Standard ML (an appendix contains a quick and easy introduction to ML). Certain crucial algorithms like unification and congruence closure are covered in more depth and Pascal programs are developed. The book contains many examples and over 170 exercises. This text is also an ideal reference book for professional researchers: results that have been spread over many conference and journal articles are collected together in a unified notation, proofs of almost all theorems are provided, and each chapter closes with a guide to the literature.
Fermenta Cognitionis, Heft 1.
AvFranz Baader
Inbunden, Tyska, 1822
1 609 kr
Skickas inom 5-8 vardagar
Logic for Programming, Artificial Intelligence, and Reasoning
11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings
AvFranz Baader,Andrei Voronkov
Häftad, Engelska, 2005
1 147 kr
Skickas inom 10-15 vardagar
This volume contains the papers presented at the 11th International Conference on Logic for Programming, Arti?cial Intelligence, and Reasoning (LPAR), held from March 14 to 18, 2005, in Montevideo, Uruguay, together with the 5th - ternational Workshop on the Implementation of Logics (organized by Stephan Schulz and Boris Konev) and the Workshop on Analytic Proof Systems (or- nized by Matthias Baaz). The call for papers attracted 77 paper submissions, each of which was - viewed by at least three expert reviewers. The ?nal decisions on the papers were taken during an electronic Program Committee meeting held on the Internet. The Internet-based submission, reviewing, and discussion software EasyChair, provided by the second PC co-chair, supported each stage of the reviewing p- cess. But the most important work was, of course, done by the 34 PC members and their external reviewers, who provided high-quality reviews. After intense discussions to resolve con?icts among the reviewers, the Program Committee decided to accept 33 papers. The conference program also included 4 invited talks, by Jurgen ..Giesl, Al- ander Leitsch, Helmut Seidl, and Igor Walukiewicz, which are documented by short or extended abstracts in these proceedings. In addition, Mart' ?n Abadi held a tutorial on Reasoning About Security Protocols, and Ian Horrocks on Description Logic Reasoning.
Logic for Programming, Artificial Intelligence, and Reasoning
11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings
AvAndrei Voronkov,Franz Baader
E-bok
PDF, Engelska, 2005
1 470 kr
Läs direkt efter köp
Automated Deduction - CADE-19
19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings
AvFranz Baader
Häftad, Engelska, 2003
577 kr
Skickas inom 10-15 vardagar
This volume contains the papers presented at the 19th International Conference on Automated Deduction (CADE-19) held 28 July–2 August 2003 in Miami Beach, Florida, USA. They are divided into the following categories: – 4 contributions by invited speakers: one full paper and three short abstracts; – 29 accepted technical papers; – 7 descriptions of automated reasoning systems. These proceedings also contain a short description of the automated theor- proving system competition (CASC-19) organized by Geo? Sutcli?e and Chr- tian Suttner. Despite many competing smaller conferences and workshops covering di?- entaspectsofautomateddeduction,CADEisstillthemajorforumfordiscussing new results on all aspects of automated deduction as well as presenting new s- tems and improvements of established systems. In contrast to the previous year, when CADE was one of the conferences participating in the Third Federated Logic Conference (FLoC 2002), and next year, when CADE will be part of the Second International Joint Conference on Automated Reasoning (IJCAR 2004), CADE-19 was organized as a stand-alone event.
KI 2001: Advances in Artificial Intelligence
Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001. Proceedings
AvFranz Baader,Gerhard Brewkam. fl.
Häftad, Engelska, 2001
577 kr
Skickas inom 10-15 vardagar
This volume contains the contributions to the Joint German/Austrian Con- rence on Arti?cial Intelligence, KI 2001, which comprises the 24th German and the 9th Austrian Conference on Arti?cial Intelligence. They are divided into the following categories: – 2 contributions by invited speakers of the conference; – 29 accepted technical papers, of which 5 where submitted as application papers and 24 as papers on foundations of AI; – 4 contributions by participants of the industrial day, during which companies working in the ?eld presented their AI applications. After a long period of separate meetings, the German and Austrian Societies ¨ for Arti?cial Intelligence, KI and OGAI, decided to hold a joint conference in Vienna in 2001. The two societies had previously held one joint conference. This took place in Ottstein, a small town in Lower Austria, in 1986. At that time, the rise of expert system technology had also renewed interest in AI in general, with quite some expectations for future advances regarding the use of AI techniques in applications pervading many areas of our daily life. Since then ?fteen years have passed, and we may want to comment, at the beginning of a newcentury, on the progress that has been made in this direction.
Automated Deduction - CADE-19
19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings
AvFranz Baader
E-bok
PDF, Engelska, 2003
734 kr
Läs direkt efter köp
This volume contains the papers presented at the 19th International Conference on Automated Deduction (CADE-19) held 28 July–2 August 2003 in Miami Beach, Florida, USA. They are divided into the following categories: – 4 contributions by invited speakers: one full paper and three short abstracts; – 29 accepted technical papers; – 7 descriptions of automated reasoning systems. These proceedings also contain a short description of the automated theor- proving system competition (CASC-19) organized by Geo? Sutcli?e and Chr- tian Suttner. Despite many competing smaller conferences and workshops covering di?- entaspectsofautomateddeduction,CADEisstillthemajorforumfordiscussing new results on all aspects of automated deduction as well as presenting new s- tems and improvements of established systems. In contrast to the previous year, when CADE was one of the conferences participating in the Third Federated Logic Conference (FLoC 2002), and next year, when CADE will be part of the Second International Joint Conference on Automated Reasoning (IJCAR 2004), CADE-19 was organized as a stand-alone event.
KI 2001: Advances in Artificial Intelligence
Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001. Proceedings
AvThomas Eiter,Gerhard Brewkam. fl.
E-bok
PDF, Engelska, 2003
739 kr
Läs direkt efter köp
This volume contains the contributions to the Joint German/Austrian Con- rence on Arti?cial Intelligence, KI 2001, which comprises the 24th German and the 9th Austrian Conference on Arti?cial Intelligence. They are divided into the following categories: – 2 contributions by invited speakers of the conference; – 29 accepted technical papers, of which 5 where submitted as application papers and 24 as papers on foundations of AI; – 4 contributions by participants of the industrial day, during which companies working in the ?eld presented their AI applications. After a long period of separate meetings, the German and Austrian Societies ¨ for Arti?cial Intelligence, KI and OGAI, decided to hold a joint conference in Vienna in 2001. The two societies had previously held one joint conference. This took place in Ottstein, a small town in Lower Austria, in 1986. At that time, the rise of expert system technology had also renewed interest in AI in general, with quite some expectations for future advances regarding the use of AI techniques in applications pervading many areas of our daily life. Since then ?fteen years have passed, and we may want to comment, at the beginning of a newcentury, on the progress that has been made in this direction.
Term Rewriting and Applications
18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings
AvFranz Baader
Häftad, Engelska, 2007
577 kr
Skickas inom 10-15 vardagar
The 18th International Conference on Rewriting Techniques and Applications, held in Paris, France in June 2007, featured presentations and discussions centering on some of the latest advances in the field. This volume presents the proceedings from that meeting. Papers cover current research on all aspects of rewriting, including applications, foundational issues, frameworks, implementations, and semantics.
Term Rewriting and Applications
18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings
AvFranz Baader
E-bok
PDF, Engelska, 2007
739 kr
Läs direkt efter köp
Franz von Baader's sämtliche Werke
AvFranz Baader
Häftad, Tyska, 2016
632 kr
Skickas inom 5-8 vardagar
Philosophische Schriften
Band 4
AvJohann Caspar Bluntschli,Franz Hoffmannm. fl.
Häftad, Tyska, 2016
538 kr
Skickas inom 5-8 vardagar
Philosophische Schriften
Band 5
AvFranz Hoffmann,Franz Baader
Häftad, Tyska, 2016
544 kr
Skickas inom 5-8 vardagar
Franz von Baaders sämtliche Werke
Systematisch geordnet
AvFranz Baader
Häftad, Tyska, 2017
585 kr
Skickas inom 5-8 vardagar

Företag, bibliotek eller offentlig verksamhet?

Franz Baader – författare

Term Rewriting and All That

An Introduction to Description Logic

The Description Logic Handbook

An Introduction to Description Logic

Introduction to Description Logic

Introduction to Description Logic

Term Rewriting and All That

Term Rewriting and All That

Fermenta Cognitionis, Heft 1.

Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

Automated Deduction - CADE-19

KI 2001: Advances in Artificial Intelligence

Automated Deduction - CADE-19

KI 2001: Advances in Artificial Intelligence

Term Rewriting and Applications

Term Rewriting and Applications

Franz von Baader's sämtliche Werke

Philosophische Schriften

Philosophische Schriften

Franz von Baaders sämtliche Werke

Mina sidor

Mina sidor

Hjälp

Hjälp

Om Bokus

Om Bokus

Populärt

Populärt

Inspiration

Inspiration