Gutscheinbedingungen

**Gültig am 28.06.2026 auf Spielzeug, Schreibwaren, Filme, Geschenke & Trends, Musik, tolino eReader & Zubehör, Hörbücher und Hörbuch-Downloads (außer Abo), nicht preisgebundene Bücher und Kalender online auf thalia.at und in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Aufgrund der Buchpreisbindung sind deutschsprachige Bücher und eBooks ausgenommen. Zusätzlich ausgenommen sind preisgebundene Artikel, Abos & Flatrates, eBooks, Games, Geschenkkarten/-boxen, Shelfies, Software, Zeitschriften sowie einzelne Artikel von tonies®. Pro Einkauf einmal einlösbar. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Versandkosten und Services.

Produktbild: Computational Logic — CL 2000

Computational Logic — CL 2000 First International Conference London, UK, July 24–28, 2000 Proceedings

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Set mit diversen Artikeln

Erscheinungsdatum

17.07.2000

Herausgeber

John Lloyd + weitere

Verlag

Springer Berlin

Seitenzahl

1382

Maße (L/B/H)

23,5/15,5/7,7 cm

Gewicht

2126 g

Auflage

2000

Sprache

Englisch

ISBN

978-3-540-67797-0

Beschreibung

Portrait

Ulrich Furbach ist Professor für Künstliche Intelligenz an der Universität Koblenz-Landau. Seine Forschungsgebiete umfassen Automatisches Schließen, Agenten und Robotik sowie Frage-Antwort-Systeme. Er ist an der TU München habilitiert, an der Uni der Bundeswehr promoviert und ist Gründer und Gesellschafter des KI-Unternehmens wizAI.
John Lloyd, Guru der englischen TV-Comedy, wurde in einem Pub in Cambridge für die BBC angeworben. Er spielte in "Per Anhalter durch die Galaxis" und "Mr. Bean" und produziert unter anderem "Spitting Image" und die Kultquizshow "Quite Interessting", in der die Scheinbildung der Briten entlarvt wird.

Produktdetails

Einband

Set mit diversen Artikeln

Erscheinungsdatum

17.07.2000

Herausgeber

Verlag

Springer Berlin

Seitenzahl

1382

Maße (L/B/H)

23,5/15,5/7,7 cm

Gewicht

2126 g

Auflage

2000

Sprache

Englisch

ISBN

978-3-540-67797-0

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern

  • Produktbild: Computational Logic — CL 2000
  • 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 Results for 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 Using Frequent 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 Relation Nets.- 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.