Logic for programming, artificial intelligence, and reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2 - 6, 2005 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2005
|
| Series: | Lecture Notes in Computer Science
3835 : Lecture notes in artificial intelligence |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XIV, 744 S. Ill., graph. Darst. |
| ISBN: | 354030553X 9783540305538 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV021261964 | ||
| 003 | DE-604 | ||
| 005 | 20101007 | ||
| 007 | t| | ||
| 008 | 051212s2005 gw ad|| |||| 10||| eng d | ||
| 015 | |a 05,N48,0041 |2 dnb | ||
| 016 | 7 | |a 977012506 |2 DE-101 | |
| 020 | |a 354030553X |c : EUR 89.88 (freier Pr.), sfr 142.50 (freier Pr.) |9 3-540-30553-X | ||
| 020 | |a 9783540305538 |9 978-3-540-30553-8 | ||
| 024 | 3 | |a 9783540305538 | |
| 028 | 5 | 2 | |a 11591191 |
| 035 | |a (OCoLC)634300915 | ||
| 035 | |a (DE-599)BVBBV021261964 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-91G |a DE-739 |a DE-355 |a DE-706 |a DE-83 | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 706f |2 stub | ||
| 245 | 1 | 0 | |a Logic for programming, artificial intelligence, and reasoning |b 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2 - 6, 2005 ; proceedings |c Geoff Sutcliffe ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2005 | |
| 300 | |a XIV, 744 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 3835 : Lecture notes in artificial intelligence | |
| 650 | 0 | 7 | |a Programmierlogik |0 (DE-588)4047408-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Inferenz |g Künstliche Intelligenz |0 (DE-588)4333533-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2005 |z Montego Bay |2 gnd-content | |
| 689 | 0 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Programmierlogik |0 (DE-588)4047408-2 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Inferenz |g Künstliche Intelligenz |0 (DE-588)4333533-0 |D s |
| 689 | 3 | |5 DE-604 | |
| 700 | 1 | |a Sutcliffe, Geoff |e Sonstige |4 oth | |
| 711 | 2 | |a LPAR |n 12 |d 2005 |c Montego Bay |j Sonstige |0 (DE-588)6508096-8 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 3835 : Lecture notes in artificial intelligence |w (DE-604)BV000000607 |9 3835 | |
| 856 | 4 | 2 | |m Digitalisierung UBPassau |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014583207&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-014583207 | |
Record in the Search Index
| _version_ | 1820874974756339712 |
|---|---|
| adam_text |
Tablé
Independently Checkable Proofs from Decision Procedures: Issues and
Progress
Allen Van
Zap: Automated Theorem Proving for Software Analysis
Thomas Ball, Shuvendu K. Lahiri, Madanlal Musuvathi
Decision Procedures for SAT, SAT Modulo Theories and Beyond.
The BarcelogicTools
Robert Nieuwenhuis, Albert Oliveras
Scaling Up: Computers vs. Common Sense
Doug Lenat
A New Constraint Solver for
Protein Folding Problem
!
Disjunctive Constraint Lambda Calculi
Matthias M. Hold, John N. Crossley
Computational Issues in Exploiting Dependent And-Parallelism in
Logic Programming: Leftness Detection in Dynamic Search Trees
Yao Wu, Enrico Pontelli, Desk Ranjan
The nomore++ Approach to Answer Set Solving
Christian Anger, Martin Gebser, Thomas
Torsten Schaub.,. 95
Optimizing the Runtime Processing of Types in Polymorphic Logic
Programming Languages
Gopalan Nadathur, Xiaochu Qi
The Four Sons of Penrose
Nachum Dershowitz
An Algorithmic Account of
Structures
Angelo Montanari,
XII Table of Contents
Second-Order Principles in Specification Languages for Object-Oriented
Programs
Bernhard
Strong Normalization of the Dual Classical Sequent Calculus
Daniel Dougherty, Silvia Ghilezan, Pierre Lescanne,
Silvia Likavec
Termination of Fair Computations in Term Rewriting
Salvador Lucas,
On Confluence of Infinitary Combinatory Reduction Systems
Jeroen Ketema, Jakob
Matching with Regular Constraints
Temur Kutsia, Mircea
Recursive Path Orderings Can Also Be Incremental
Mirtha-Lina Fernandez,
Automating Coherent Logic
Marc Bezem, Thierry Coquand
The Theorema Environment for Interactive Proof Development
Fiorina Piroi, Temur Kutsia
A First Order Extension of
Magnus
Regular Derivations in Basic Superposition-Based Calculi
Vladimir
On the Finite Satisfiability Problem for the Guarded Fragment with
Transitivity
Wieslaw Szwast,
Deciding Separation Logic Formulae by SAT and Incremental Negative
Cycle Elimination
Chao
Monotone AC-Tree Automata
Hitoshi Ohsaki, Jean-Marc Talbot, Sophie
On the Specification of Sequent Systems
Elaine Pimentel, Dale Miller
Table of Contents XIII
Verifying and Reflecting Quantifier Elimination for Presburger
Arithmetic
Amine Chaieb,
Integration of a Software Model Checker into
Matthias
M. Nassim Seghir
Experimental
Deian Tabakov,
Automatic Validation of Transformation Rules for Java Verification
Against a Rewriting Semantics
Wolfgang Ahrendt, Andreas
Reasoning About Incompletely Defined Programs
Christoph Walther, Stephan
Model Checking Abstract State Machines with Answer Set
Programming
Calvin
Characterizing Probability in Bl's Pointer Logic Through Resource
Graphs
Didier
A Unified Memory Model for Pointers
Harvey
Treewidth in Verification: Local vs. Global
Andrea
Pushdown Module Checking
Laura
Functional Correctness Proofe of Encryption Algorithms
Jianjun Duan, Joe Hurd, Guodong Li, Scott Owens, Konrad Slind,
Junxing Zhang
Towards Automated Proof Support for Probabilistic Distributed
Systems
Annabelle
Algebraic Intruder Deductions
David Basin, Sebastian
XTV Table of Contents
Satisfiability Checking for PC(ID)
Maarten
Maurice Bruynooghe
Pool Resolution and Its Relation to Regular Resolution and DPLL with
Clause Learning
Allen Van
Another Complete Local Search Method for SAT
Haiou Shen, Hantao Zhang
Inference from Controversial Arguments
Sylvie
Programming Cognitive Agents in Defeasible Logic
Mehdi Dastani,
Leendert
The Relationship Between Reasoning About Privacy and Default Logics
Jürgen
Comparative Similarity, Tree Automata, and Diophantine Equations
Mikhail Sherernet, Dmitry Tishkovsky, Frank
Michael Zakharyaschev
Analytic Tableaux for
Laura Giordano,
Gian Luca Pozzato
Bounding Resource Consumption with
Dominique Larchey- Wendling
On Interpolation in Existence Logics
Matthias Baaz, Rosalie Iemhoff
Incremental Integrity Checking: Limitations and Possibilities
Henning
Concepts of Automata Construction from LTL
Carsten
Author Index |
| adam_txt |
Tablé
Independently Checkable Proofs from Decision Procedures: Issues and
Progress
Allen Van
Zap: Automated Theorem Proving for Software Analysis
Thomas Ball, Shuvendu K. Lahiri, Madanlal Musuvathi
Decision Procedures for SAT, SAT Modulo Theories and Beyond.
The BarcelogicTools
Robert Nieuwenhuis, Albert Oliveras
Scaling Up: Computers vs. Common Sense
Doug Lenat
A New Constraint Solver for
Protein Folding Problem
!
Disjunctive Constraint Lambda Calculi
Matthias M. Hold, John N. Crossley
Computational Issues in Exploiting Dependent And-Parallelism in
Logic Programming: Leftness Detection in Dynamic Search Trees
Yao Wu, Enrico Pontelli, Desk Ranjan
The nomore++ Approach to Answer Set Solving
Christian Anger, Martin Gebser, Thomas
Torsten Schaub.,. 95
Optimizing the Runtime Processing of Types in Polymorphic Logic
Programming Languages
Gopalan Nadathur, Xiaochu Qi
The Four Sons of Penrose
Nachum Dershowitz
An Algorithmic Account of
Structures
Angelo Montanari,
XII Table of Contents
Second-Order Principles in Specification Languages for Object-Oriented
Programs
Bernhard
Strong Normalization of the Dual Classical Sequent Calculus
Daniel Dougherty, Silvia Ghilezan, Pierre Lescanne,
Silvia Likavec
Termination of Fair Computations in Term Rewriting
Salvador Lucas,
On Confluence of Infinitary Combinatory Reduction Systems
Jeroen Ketema, Jakob
Matching with Regular Constraints
Temur Kutsia, Mircea
Recursive Path Orderings Can Also Be Incremental
Mirtha-Lina Fernandez,
Automating Coherent Logic
Marc Bezem, Thierry Coquand
The Theorema Environment for Interactive Proof Development
Fiorina Piroi, Temur Kutsia
A First Order Extension of
Magnus
Regular Derivations in Basic Superposition-Based Calculi
Vladimir
On the Finite Satisfiability Problem for the Guarded Fragment with
Transitivity
Wieslaw Szwast,
Deciding Separation Logic Formulae by SAT and Incremental Negative
Cycle Elimination
Chao
Monotone AC-Tree Automata
Hitoshi Ohsaki, Jean-Marc Talbot, Sophie
On the Specification of Sequent Systems
Elaine Pimentel, Dale Miller
Table of Contents XIII
Verifying and Reflecting Quantifier Elimination for Presburger
Arithmetic
Amine Chaieb,
Integration of a Software Model Checker into
Matthias
M. Nassim Seghir
Experimental
Deian Tabakov,
Automatic Validation of Transformation Rules for Java Verification
Against a Rewriting Semantics
Wolfgang Ahrendt, Andreas
Reasoning About Incompletely Defined Programs
Christoph Walther, Stephan
Model Checking Abstract State Machines with Answer Set
Programming
Calvin
Characterizing Probability in Bl's Pointer Logic Through Resource
Graphs
Didier
A Unified Memory Model for Pointers
Harvey
Treewidth in Verification: Local vs. Global
Andrea
Pushdown Module Checking
Laura
Functional Correctness Proofe of Encryption Algorithms
Jianjun Duan, Joe Hurd, Guodong Li, Scott Owens, Konrad Slind,
Junxing Zhang
Towards Automated Proof Support for Probabilistic Distributed
Systems
Annabelle
Algebraic Intruder Deductions
David Basin, Sebastian
XTV Table of Contents
Satisfiability Checking for PC(ID)
Maarten
Maurice Bruynooghe
Pool Resolution and Its Relation to Regular Resolution and DPLL with
Clause Learning
Allen Van
Another Complete Local Search Method for SAT
Haiou Shen, Hantao Zhang
Inference from Controversial Arguments
Sylvie
Programming Cognitive Agents in Defeasible Logic
Mehdi Dastani,
Leendert
The Relationship Between Reasoning About Privacy and Default Logics
Jürgen
Comparative Similarity, Tree Automata, and Diophantine Equations
Mikhail Sherernet, Dmitry Tishkovsky, Frank
Michael Zakharyaschev
Analytic Tableaux for
Laura Giordano,
Gian Luca Pozzato
Bounding Resource Consumption with
Dominique Larchey- Wendling
On Interpolation in Existence Logics
Matthias Baaz, Rosalie Iemhoff
Incremental Integrity Checking: Limitations and Possibilities
Henning
Concepts of Automata Construction from LTL
Carsten
Author Index |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| building | Verbundindex |
| bvnumber | BV021261964 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 706f |
| ctrlnum | (OCoLC)634300915 (DE-599)BVBBV021261964 |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV021261964</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20101007</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">051212s2005 gw ad|| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">05,N48,0041</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">977012506</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">354030553X</subfield><subfield code="c">: EUR 89.88 (freier Pr.), sfr 142.50 (freier Pr.)</subfield><subfield code="9">3-540-30553-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540305538</subfield><subfield code="9">978-3-540-30553-8</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540305538</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">11591191</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)634300915</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021261964</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic for programming, artificial intelligence, and reasoning</subfield><subfield code="b">12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2 - 6, 2005 ; proceedings</subfield><subfield code="c">Geoff Sutcliffe ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2005</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 744 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">3835 : Lecture notes in artificial intelligence</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierlogik</subfield><subfield code="0">(DE-588)4047408-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Inferenz</subfield><subfield code="g">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4333533-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2005</subfield><subfield code="z">Montego Bay</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Programmierlogik</subfield><subfield code="0">(DE-588)4047408-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Inferenz</subfield><subfield code="g">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4333533-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sutcliffe, Geoff</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">LPAR</subfield><subfield code="n">12</subfield><subfield code="d">2005</subfield><subfield code="c">Montego Bay</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)6508096-8</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">3835 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">3835</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UBPassau</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014583207&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-014583207</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2005 Montego Bay gnd-content |
| genre_facet | Konferenzschrift 2005 Montego Bay |
| id | DE-604.BV021261964 |
| illustrated | Illustrated |
| index_date | 2024-07-02T13:42:15Z |
| indexdate | 2025-01-10T15:08:14Z |
| institution | BVB |
| institution_GND | (DE-588)6508096-8 |
| isbn | 354030553X 9783540305538 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-014583207 |
| oclc_num | 634300915 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-739 DE-355 DE-BY-UBR DE-706 DE-83 |
| owner_facet | DE-91G DE-BY-TUM DE-739 DE-355 DE-BY-UBR DE-706 DE-83 |
| physical | XIV, 744 S. Ill., graph. Darst. |
| publishDate | 2005 |
| publishDateSearch | 2005 |
| publishDateSort | 2005 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Logic for programming, artificial intelligence, and reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2 - 6, 2005 ; proceedings Geoff Sutcliffe ... (eds.) Berlin [u.a.] Springer 2005 XIV, 744 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 3835 : Lecture notes in artificial intelligence Programmierlogik (DE-588)4047408-2 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf Inferenz Künstliche Intelligenz (DE-588)4333533-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2005 Montego Bay gnd-content Logische Programmierung (DE-588)4195096-3 s DE-604 Automatisches Beweisverfahren (DE-588)4069034-9 s Programmierlogik (DE-588)4047408-2 s Inferenz Künstliche Intelligenz (DE-588)4333533-0 s Sutcliffe, Geoff Sonstige oth LPAR 12 2005 Montego Bay Sonstige (DE-588)6508096-8 oth Lecture Notes in Computer Science 3835 : Lecture notes in artificial intelligence (DE-604)BV000000607 3835 Digitalisierung UBPassau application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014583207&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Logic for programming, artificial intelligence, and reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2 - 6, 2005 ; proceedings Lecture Notes in Computer Science Programmierlogik (DE-588)4047408-2 gnd Logische Programmierung (DE-588)4195096-3 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd Inferenz Künstliche Intelligenz (DE-588)4333533-0 gnd |
| subject_GND | (DE-588)4047408-2 (DE-588)4195096-3 (DE-588)4069034-9 (DE-588)4333533-0 (DE-588)1071861417 |
| title | Logic for programming, artificial intelligence, and reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2 - 6, 2005 ; proceedings |
| title_auth | Logic for programming, artificial intelligence, and reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2 - 6, 2005 ; proceedings |
| title_exact_search | Logic for programming, artificial intelligence, and reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2 - 6, 2005 ; proceedings |
| title_exact_search_txtP | Logic for programming, artificial intelligence, and reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2 - 6, 2005 ; proceedings |
| title_full | Logic for programming, artificial intelligence, and reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2 - 6, 2005 ; proceedings Geoff Sutcliffe ... (eds.) |
| title_fullStr | Logic for programming, artificial intelligence, and reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2 - 6, 2005 ; proceedings Geoff Sutcliffe ... (eds.) |
| title_full_unstemmed | Logic for programming, artificial intelligence, and reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2 - 6, 2005 ; proceedings Geoff Sutcliffe ... (eds.) |
| title_short | Logic for programming, artificial intelligence, and reasoning |
| title_sort | logic for programming artificial intelligence and reasoning 12th international conference lpar 2005 montego bay jamaica december 2 6 2005 proceedings |
| title_sub | 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2 - 6, 2005 ; proceedings |
| topic | Programmierlogik (DE-588)4047408-2 gnd Logische Programmierung (DE-588)4195096-3 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd Inferenz Künstliche Intelligenz (DE-588)4333533-0 gnd |
| topic_facet | Programmierlogik Logische Programmierung Automatisches Beweisverfahren Inferenz Künstliche Intelligenz Konferenzschrift 2005 Montego Bay |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014583207&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT sutcliffegeoff logicforprogrammingartificialintelligenceandreasoning12thinternationalconferencelpar2005montegobayjamaicadecember262005proceedings AT lparmontegobay logicforprogrammingartificialintelligenceandreasoning12thinternationalconferencelpar2005montegobayjamaicadecember262005proceedings |