Computational Logic ¿ CL 2000 First International Conference London, UK, July 24¿28, 2000 Proceedings - neues Buch

EAN (ISBN-13): 9783540677970
ISBN (ISBN-10): 3540677976
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2000
Herausgeber: Springer Berlin

Buch in der Datenbank seit 2007-06-04T07:07:19+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-01-15T18:25:48+01:00 (Berlin)
ISBN/EAN: 9783540677970

ISBN - alternative Schreibweisen:
3-540-67797-6, 978-3-540-67797-0
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: kerber, lau ulrich, lloyd john, dahl peter, moniz, manfred john, manfred küng, veronica dahl, luis verón, sagi, palamidessi, stuckey, kung, per dahl, furbach, yehoshua
Titel des Buches: proceedings artificial intelligence conference, lecture notes artificial intelligence, logic computer science, 2000, computation logic

---

Daten vom Verlag:

Autor/in: John Lloyd; Veronica Dahl; Ulrich Furbach; Manfred Kerber; Kung-Kiu Lau; Catuscia Palamidessi; Luis M. Pereira; Yehoshua Sagiv; Peter J. Stuckey
Titel: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Computational Logic — CL 2000 - First International Conference London, UK, July 24–28, 2000 Proceedings
Verlag: Springer; Springer Berlin
1382 Seiten
Erscheinungsjahr: 2000-07-17
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XXXVIII, 1382 p. 33 illus. In 2 volumes, not available separately.

SA; BC; Hardcover, Softcover / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; Automat; Extension; automated deduction; knowledge; knowledge representation; logic; nonmonotonic reasoning; programming; Artificial Intelligence; Software Engineering; Computer System Implementation; Formal Languages and Automata Theory; Computer Science Logic and Foundations of Programming; Programming Techniques; Software Engineering; Systemanalyse und -design; Theoretische Informatik; Computerprogrammierung und Softwareentwicklung; EA

Invited Papers.- Computational Logic: Memories of the Past and Challenges for the Future.- ILP: Just Do It.- Databases and Higher Types.- A Denotational Semantics for First-Order Logic.- Logic, Knowledge Representation, and Bayesian Decision Theory.- Program Development (LOPSTR).- Logic Program Synthesis in a Higher-Order Setting.- Coverability of Reset Petri Nets and Other Well-Structured Transition Systems by Partial Deduction.- Binary Speed Up for Logic Programs.- A New Module System for Prolog.- Logic Programming: Theory and Extensions.- Partial Models of Extended Generalized Logic Programs.- Alternating Fixpoint Theory for Logic Programs with Priority.- Proving Failure in Functional Logic Programs.- Semantics of Input-Consuming Logic Programs.- A Denotational Semantics of Defeasible Logic.- Isoinitial Semantics for Logic Programs.- Abstract Syntax for Variable Binders: An Overview.- Goal-Directed Proof Search in Multiple-Conclusioned Intuitionistic Logic.- Efficient EM Learning with Tabulation for Parameterized Logic Programs.- Model Generation Theorem Proving with Finite Interval Constraints.- Combining Mobile Processes and Declarative Programming.- Constraints.- Representing Trees with Constraints.- Dominance Constraints with Set Operators.- Better Communication for Tighter Cooperation.- Arc Consistency Algorithms via Iterations of Subsumed Functions.- AVAL: An Enumerative Method for SAT.- Constraint Logic Programming for Local and Symbolic Model-Checking.- A CLP Framework for Computing Structural Test Data.- Modelling Digital Circuits Problems with Set Constraints.- Promoting Constraints to First-Class Status.- Developing Finite Domain Constraints — A Data Model Approach.- Concurrent Constraint Programming with Process Mobility.- A System for Tabled Constraint Logic Programming.- Automated Deduction: Putting Theory into Practice.- Finding Tractable Formulas in NNF.- The Taming of the (X)OR.- On an ?-Decidable Deductive Procedure for Non-Horn Sequents of a Restricted FTL.- Representing Object Code.- Towards an Efficient Tableau Method for Boolean Circuit Satisfiability Checking.- Certification of Compiler Optimizations Using Kleene Algebra with Tests.- An Application of Model Building in a Resolution Decision Procedure for Guarded Formulas.- Model Checking for Timed Logic Processes.- Perfect Model Checking via Unfold/Fold Transformations.- Automatic Derivation and Application of Induction Schemes for Mutually Recursive Functions.- Proof Planning with Multiple Strategies.- The Theory of Total Unary RPO Is Decidable.- Knowledge Representation and Non-monotonic Reasoning.- On the Problem of Computing the Well-Founded Semantics.- Computing Equilibrium Models Using Signed Formulas.- Extending Classical Logic with Inductive Definitions.- A Simple Characterization of Extended Abduction.- A New Equational Foundation for the Fluent Calculus.- Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams.- Decidability Resultsfor the Propositional Fluent Calculus.- A Meta-logical Semantics for Features and Fluents Based on Compositional Operators over Normal Logic Programs.- Default Reasoning with Specificity.- Planning under Incomplete Knowledge.- Wire Routing and Satisfiability Planning.- Including Diagnostic Information in Configuration Models.- Comparing the Expressive Powers of Some Syntactically Restricted Classes of Logic Programs.- On Complexity of Updates through Integrity Constraints.- Computational Complexity of Planning Based on Partial Information about the System’s Present and Past States.- Smallest Equivalent Sets for Finite Propositional Formula Circumscription.- A Semantics for Persistency in Propositional Dynamic Logic.- Database Systems (DOOD).- Applications of Annotated Predicate Calculus to Querying Inconsistent Databases.- Querying Inconsistent Databases: Algorithms and Implementation.- On Verification in Logic Database Languages.- Mining Minimal Non-redundant Association Rules UsingFrequent Closed Itemsets.- Linearly Bounded Reformulations of Conjunctive Databases.- MuTACLP: A Language for Declarative GIS Analysis.- Reasoning about Duplicate Elimination with Description Logic.- A File System Based on Concept Analysis.- A Semantic Approach for Schema Evolution and Versioning in Object-Oriented Databases.- SLDMagic — The Real Magic (With Applications to Web Queries).- FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine.- Design and Implementation of the Physical Layer in WebBases: The XRover Experience.- A Dynamic Approach to Termination Analysis for Active Database Rules.- Constraint-Based Termination Analysis for Cyclic Active Database Rules.- A Formal Model for an Expressive Fragment of XSLT.- On the Equivalence of XML Patterns.- Querying XML Specified WWW Sites: Links and Recursion in XML-GL.- A Heuristic Approach for Converting HTML Documents to XML Documents.- Specification of an Active Database System Application Using Dynamic RelationNets.- Invariance, Maintenance, and Other Declarative Objectives of Triggers — A Formal Characterization of Active Databases.- Logic Programming: Implementations and Applications.- Fluents: A Refactoring of Prolog for Uniform Reflection and Interoperation with External Objects.- So Many WAM Variations, So Little Time.- A Module Based Analysis for Memory Reuse in Mercury.- Mode Checking in HAL.- The Impact of Cache Coherence Protocols on Parallel Logic Programming Systems.- Data Protection by Logic Programming.- A Deterministic Shift-Reduce Parser Generator for a Logic Programming Language.- A Logic Programming Application for the Analysis of Spanish Verse.- A Documentation Generator for (C)LP Systems.- Psychiatric Diagnosis from the Viewpoint of Computational Logic.
Includes supplementary material: sn.pub/extras