Borrow it
 African Studies Library
 Alumni Medical Library
 Astronomy Library
 Fineman and Pappas Law Libraries
 Frederick S. Pardee Management Library
 Howard Gotlieb Archival Research Center
 Mugar Memorial Library
 Music Library
 Pikering Educational Resources Library
 School of Theology Library
 Science & Engineering Library
 Stone Science Library
The Resource Logic for programming, artificial intelligence, and reasoning : 19th International Conference, LPAR19, Stellenbosch, South Africa, December 1419, 2013, proceedings, Ken McMillan, Aart Middeldorp, Andrei Voronkov (eds.), (electronic resource)
Logic for programming, artificial intelligence, and reasoning : 19th International Conference, LPAR19, Stellenbosch, South Africa, December 1419, 2013, proceedings, Ken McMillan, Aart Middeldorp, Andrei Voronkov (eds.), (electronic resource)
Resource Information
The item Logic for programming, artificial intelligence, and reasoning : 19th International Conference, LPAR19, Stellenbosch, South Africa, December 1419, 2013, proceedings, Ken McMillan, Aart Middeldorp, Andrei Voronkov (eds.), (electronic resource) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Boston University Libraries.This item is available to borrow from all library branches.
Resource Information
The item Logic for programming, artificial intelligence, and reasoning : 19th International Conference, LPAR19, Stellenbosch, South Africa, December 1419, 2013, proceedings, Ken McMillan, Aart Middeldorp, Andrei Voronkov (eds.), (electronic resource) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Boston University Libraries.
This item is available to borrow from all library branches.
 Summary
 This book constitutes the proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR19, held in December 2013 in Stellenbosch, South Africa. The 44 regular papers and 8 tool descriptions and experimental papers included in this volume were carefully reviewed and selected from 152 submissions. The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cuttingedge results, to discuss advances in these fields and to exchange ideas in a scientifically emerging part of the world
 Language
 eng
 Extent
 1 online resource (xiv, 794 pages)
 Contents

 An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics
 MayHappeninParallel Analysis for PriorityBased Scheduling
 The Complexity of Clausal Fragments of LTL
 A Semantic Basis for Proof Queries and Transformations
 Expressive Path Queries on Graphs with Data
 Proving Infinite Satisfiability
 SATBased Preprocessing for MaxSAT
 Dynamic and Static Symmetry Breaking in Answer Set Programming
 HOL Based FirstOrder Modal Logic Provers
 Resourceful Reachability as HORNLA
 A SeligmanStyle Tableau System
 Comparison of LTL to Deterministic Rabin Automata Translators
 Tree Interpolation in Vampire
 Polarizing DoubleNegation Translations
 Revisiting the Equivalence of Shininess and Politeness
 Towards Rational Closure for Fuzzy Logic: The Case of Propositional Gödel Logic
 Multiobjective Discounted Reward Verification in Graphs and MDPs
 Description Logics, Rules and Multicontext Systems
 Complexity Analysis in Presence of Control Operators and HigherOrder Functions
 Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo
 LongDistance Resolution: Proof Generation and Strategy Extraction in SearchBased QBF Solving
 Verifying Temporal Properties in Real Models
 A Graphical Language for Proof Strategies
 A Proof of Strong Normalisation of the Typed Atomic LambdaCalculus
 Relaxing Synchronization Constraints in Behavioral Programs
 Characterizing Subset Spaces as Bitopological Structures
 ProofPattern Recognition and Lemma Discovery in ACL2
 Semantic Atranslations and SuperConsistency Entail Classical Cut Elimination
 Blocked Clause Decomposition
 Maximal Falsifiability: Definitions, Algorithms, and Applications
 Solving Geometry Problems Using a Combination of Symbolic and Numerical Reasoning
 On QBF Proofs and Preprocessing
 Partial Backtracking in CDCL Solvers
 Lemma Mining over HOL Light
 On ModuleBased Abstraction and Repair of Behavioral Programs
 Prediction and Explanation over DLLite Data Streams
 Forgetting Concept and Role Symbols in ALCHOntologies
 Simulating Parity Reasoning
 Herbrand Theorems for Substructural Logics
 On Promptness in Parity Games
 Defining Privacy Is Supposed to Be Easy
 Reachability Modules for the Description Logic SRIQ
 An Event Structure Model for Probabilistic Concurrent Kleene Algebra
 Three SCCBased Emptiness Checks for Generalized Büchi Automata
 PeRIPLO: A Framework for Producing Effective Interpolants in SATBased Software Verification
 Incremental Tabling for QueryDriven Propagation of Logic Program Updates
 Tracking DataFlow with Open Closure Types
 Putting Newton into Practice: A Solver for Polynomial Equations over Semirings
 System Description: E 1.8
 Formalization of Laplace Transform Using the Multivariable Calculus Theory of HOLLight
 On Minimality and Integrity Constraints in Probabilistic Abduction
 POLAR: A Framework for Proof Refactoring
 Isbn
 9783642452215
 Label
 Logic for programming, artificial intelligence, and reasoning : 19th International Conference, LPAR19, Stellenbosch, South Africa, December 1419, 2013, proceedings
 Title
 Logic for programming, artificial intelligence, and reasoning
 Title remainder
 19th International Conference, LPAR19, Stellenbosch, South Africa, December 1419, 2013, proceedings
 Statement of responsibility
 Ken McMillan, Aart Middeldorp, Andrei Voronkov (eds.)
 Title variation
 LPAR19
 Subject

 Artificial intelligence  Congresses
 Automatic theorem proving
 Automatic theorem proving  Congresses
 Automatic theorem proving  Congresses
 Automatic theorem proving  Congresses
 Conference proceedings
 Electronic resources
 Logic programming
 Logic programming  Congresses
 Logic programming  Congresses
 Logic programming  Congresses
 Artificial intelligence
 Artificial intelligence  Congresses
 Artificial intelligence  Congresses
 Language
 eng
 Summary
 This book constitutes the proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR19, held in December 2013 in Stellenbosch, South Africa. The 44 regular papers and 8 tool descriptions and experimental papers included in this volume were carefully reviewed and selected from 152 submissions. The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cuttingedge results, to discuss advances in these fields and to exchange ideas in a scientifically emerging part of the world
 Cataloging source
 YDXCP
 Image bit depth
 0
 LC call number
 QA76.63
 LC item number
 .L735 2013
 Literary form
 non fiction
 http://bibfra.me/vocab/lite/meetingDate
 2013
 http://bibfra.me/vocab/lite/meetingName
 LPAR (Conference)
 Nature of contents
 dictionaries
 http://library.link/vocab/relatedWorkOrContributorDate
 1959
 http://library.link/vocab/relatedWorkOrContributorName

 SpringerLink
 McMillan, Ken
 Middeldorp, Aart
 Voronkov, Andrei
 Series statement
 Lecture Notes in Computer Science,
 Series volume
 8312
 http://library.link/vocab/subjectName

 Logic programming
 Artificial intelligence
 Automatic theorem proving
 Artificial intelligence
 Automatic theorem proving
 Logic programming
 Label
 Logic for programming, artificial intelligence, and reasoning : 19th International Conference, LPAR19, Stellenbosch, South Africa, December 1419, 2013, proceedings, Ken McMillan, Aart Middeldorp, Andrei Voronkov (eds.), (electronic resource)
 Antecedent source
 mixed
 Bibliography note
 Includes bibliographical references and index
 Carrier category
 online resource
 Carrier category code

 cr
 Carrier MARC source
 rdacarrier
 Color
 not applicable
 Content category
 text
 Content type code

 txt
 Content type MARC source
 rdacontent
 Contents
 An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics  MayHappeninParallel Analysis for PriorityBased Scheduling  The Complexity of Clausal Fragments of LTL  A Semantic Basis for Proof Queries and Transformations  Expressive Path Queries on Graphs with Data  Proving Infinite Satisfiability  SATBased Preprocessing for MaxSAT  Dynamic and Static Symmetry Breaking in Answer Set Programming  HOL Based FirstOrder Modal Logic Provers  Resourceful Reachability as HORNLA  A SeligmanStyle Tableau System  Comparison of LTL to Deterministic Rabin Automata Translators  Tree Interpolation in Vampire  Polarizing DoubleNegation Translations  Revisiting the Equivalence of Shininess and Politeness  Towards Rational Closure for Fuzzy Logic: The Case of Propositional Gödel Logic  Multiobjective Discounted Reward Verification in Graphs and MDPs  Description Logics, Rules and Multicontext Systems  Complexity Analysis in Presence of Control Operators and HigherOrder Functions  Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo  LongDistance Resolution: Proof Generation and Strategy Extraction in SearchBased QBF Solving  Verifying Temporal Properties in Real Models  A Graphical Language for Proof Strategies  A Proof of Strong Normalisation of the Typed Atomic LambdaCalculus  Relaxing Synchronization Constraints in Behavioral Programs  Characterizing Subset Spaces as Bitopological Structures  ProofPattern Recognition and Lemma Discovery in ACL2  Semantic Atranslations and SuperConsistency Entail Classical Cut Elimination  Blocked Clause Decomposition  Maximal Falsifiability: Definitions, Algorithms, and Applications  Solving Geometry Problems Using a Combination of Symbolic and Numerical Reasoning  On QBF Proofs and Preprocessing  Partial Backtracking in CDCL Solvers  Lemma Mining over HOL Light  On ModuleBased Abstraction and Repair of Behavioral Programs  Prediction and Explanation over DLLite Data Streams  Forgetting Concept and Role Symbols in ALCHOntologies  Simulating Parity Reasoning  Herbrand Theorems for Substructural Logics  On Promptness in Parity Games  Defining Privacy Is Supposed to Be Easy  Reachability Modules for the Description Logic SRIQ  An Event Structure Model for Probabilistic Concurrent Kleene Algebra  Three SCCBased Emptiness Checks for Generalized Büchi Automata  PeRIPLO: A Framework for Producing Effective Interpolants in SATBased Software Verification  Incremental Tabling for QueryDriven Propagation of Logic Program Updates  Tracking DataFlow with Open Closure Types  Putting Newton into Practice: A Solver for Polynomial Equations over Semirings  System Description: E 1.8  Formalization of Laplace Transform Using the Multivariable Calculus Theory of HOLLight  On Minimality and Integrity Constraints in Probabilistic Abduction  POLAR: A Framework for Proof Refactoring
 Dimensions
 unknown
 Extent
 1 online resource (xiv, 794 pages)
 File format
 multiple file formats
 Form of item

 online
 electronic
 Isbn
 9783642452215
 Level of compression
 uncompressed
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code

 c
 Other control number
 10.1007/9783642452215
 Other physical details
 illustrations.
 Quality assurance targets
 absent
 Reformatting quality
 access
 Specific material designation
 remote
 System control number

 (OCoLC)867904214
 (OCoLC)ocn867904214
 Label
 Logic for programming, artificial intelligence, and reasoning : 19th International Conference, LPAR19, Stellenbosch, South Africa, December 1419, 2013, proceedings, Ken McMillan, Aart Middeldorp, Andrei Voronkov (eds.), (electronic resource)
 Antecedent source
 mixed
 Bibliography note
 Includes bibliographical references and index
 Carrier category
 online resource
 Carrier category code

 cr
 Carrier MARC source
 rdacarrier
 Color
 not applicable
 Content category
 text
 Content type code

 txt
 Content type MARC source
 rdacontent
 Contents
 An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics  MayHappeninParallel Analysis for PriorityBased Scheduling  The Complexity of Clausal Fragments of LTL  A Semantic Basis for Proof Queries and Transformations  Expressive Path Queries on Graphs with Data  Proving Infinite Satisfiability  SATBased Preprocessing for MaxSAT  Dynamic and Static Symmetry Breaking in Answer Set Programming  HOL Based FirstOrder Modal Logic Provers  Resourceful Reachability as HORNLA  A SeligmanStyle Tableau System  Comparison of LTL to Deterministic Rabin Automata Translators  Tree Interpolation in Vampire  Polarizing DoubleNegation Translations  Revisiting the Equivalence of Shininess and Politeness  Towards Rational Closure for Fuzzy Logic: The Case of Propositional Gödel Logic  Multiobjective Discounted Reward Verification in Graphs and MDPs  Description Logics, Rules and Multicontext Systems  Complexity Analysis in Presence of Control Operators and HigherOrder Functions  Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo  LongDistance Resolution: Proof Generation and Strategy Extraction in SearchBased QBF Solving  Verifying Temporal Properties in Real Models  A Graphical Language for Proof Strategies  A Proof of Strong Normalisation of the Typed Atomic LambdaCalculus  Relaxing Synchronization Constraints in Behavioral Programs  Characterizing Subset Spaces as Bitopological Structures  ProofPattern Recognition and Lemma Discovery in ACL2  Semantic Atranslations and SuperConsistency Entail Classical Cut Elimination  Blocked Clause Decomposition  Maximal Falsifiability: Definitions, Algorithms, and Applications  Solving Geometry Problems Using a Combination of Symbolic and Numerical Reasoning  On QBF Proofs and Preprocessing  Partial Backtracking in CDCL Solvers  Lemma Mining over HOL Light  On ModuleBased Abstraction and Repair of Behavioral Programs  Prediction and Explanation over DLLite Data Streams  Forgetting Concept and Role Symbols in ALCHOntologies  Simulating Parity Reasoning  Herbrand Theorems for Substructural Logics  On Promptness in Parity Games  Defining Privacy Is Supposed to Be Easy  Reachability Modules for the Description Logic SRIQ  An Event Structure Model for Probabilistic Concurrent Kleene Algebra  Three SCCBased Emptiness Checks for Generalized Büchi Automata  PeRIPLO: A Framework for Producing Effective Interpolants in SATBased Software Verification  Incremental Tabling for QueryDriven Propagation of Logic Program Updates  Tracking DataFlow with Open Closure Types  Putting Newton into Practice: A Solver for Polynomial Equations over Semirings  System Description: E 1.8  Formalization of Laplace Transform Using the Multivariable Calculus Theory of HOLLight  On Minimality and Integrity Constraints in Probabilistic Abduction  POLAR: A Framework for Proof Refactoring
 Dimensions
 unknown
 Extent
 1 online resource (xiv, 794 pages)
 File format
 multiple file formats
 Form of item

 online
 electronic
 Isbn
 9783642452215
 Level of compression
 uncompressed
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code

 c
 Other control number
 10.1007/9783642452215
 Other physical details
 illustrations.
 Quality assurance targets
 absent
 Reformatting quality
 access
 Specific material designation
 remote
 System control number

 (OCoLC)867904214
 (OCoLC)ocn867904214
Subject
 Artificial intelligence  Congresses
 Automatic theorem proving
 Automatic theorem proving  Congresses
 Automatic theorem proving  Congresses
 Automatic theorem proving  Congresses
 Conference proceedings
 Electronic resources
 Logic programming
 Logic programming  Congresses
 Logic programming  Congresses
 Logic programming  Congresses
 Artificial intelligence
 Artificial intelligence  Congresses
 Artificial intelligence  Congresses
Genre
Member of
Library Locations

African Studies LibraryBorrow it771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US42.350723 71.108227


Astronomy LibraryBorrow it725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US42.350259 71.105717

Fineman and Pappas Law LibrariesBorrow it765 Commonwealth Avenue, Boston, MA, 02215, US42.350979 71.107023

Frederick S. Pardee Management LibraryBorrow it595 Commonwealth Avenue, Boston, MA, 02215, US42.349626 71.099547

Howard Gotlieb Archival Research CenterBorrow it771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US42.350723 71.108227


Music LibraryBorrow it771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US42.350723 71.108227

Pikering Educational Resources LibraryBorrow it2 Silber Way, Boston, MA, 02215, US42.349804 71.101425

School of Theology LibraryBorrow it745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US42.350494 71.107235

Science & Engineering LibraryBorrow it38 Cummington Mall, Boston, MA, 02215, US42.348472 71.102257

Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.bu.edu/portal/Logicforprogrammingartificialintelligence/4LJQNY9d2nA/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/portal/Logicforprogrammingartificialintelligence/4LJQNY9d2nA/">Logic for programming, artificial intelligence, and reasoning : 19th International Conference, LPAR19, Stellenbosch, South Africa, December 1419, 2013, proceedings, Ken McMillan, Aart Middeldorp, Andrei Voronkov (eds.), (electronic resource)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item Logic for programming, artificial intelligence, and reasoning : 19th International Conference, LPAR19, Stellenbosch, South Africa, December 1419, 2013, proceedings, Ken McMillan, Aart Middeldorp, Andrei Voronkov (eds.), (electronic resource)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.bu.edu/portal/Logicforprogrammingartificialintelligence/4LJQNY9d2nA/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/portal/Logicforprogrammingartificialintelligence/4LJQNY9d2nA/">Logic for programming, artificial intelligence, and reasoning : 19th International Conference, LPAR19, Stellenbosch, South Africa, December 1419, 2013, proceedings, Ken McMillan, Aart Middeldorp, Andrei Voronkov (eds.), (electronic resource)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>