Items related to Logics in Artificial Intelligence: 9th European Conference,...
Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings: 3229 (Lecture Notes in Computer Science, 3229) - Softcover
Synopsis
Logics have, for many years, laid claim to providing a formal basis for the study and development of applications and systems in arti?cial intelligence. With the depth and maturity of formalisms, methodologies and logic-based systems - day, this claim is stronger than ever. The European Conference on Logics in Arti?cial Intelligence (or Journ´ ees Europ´ eennes sur la Logique en Intelligence Arti?cielle, JELIA) began back in 1988, as a workshop, in response to the need for a European forum for the discussion of emerging work in this ?eld. Since then, JELIA has been organized biennially, with English as its o?cial language, previous meetings taking place in Rosco?, France (1988), Amsterdam, Nether- ´ lands (1990), Berlin, Germany (1992), York, UK (1994), Evora, Portugal (1996), Dagstuhl,Germany(1998),M´ alaga,Spain(2000)andCosenza,Italy(2002). The increasinginterestinthisforum,itsinternationallevelwithgrowingparticipation from researchers outside Europe, and the overall technical quality have turned JELIA into a major biennial forum for the discussion of logic-based approaches to arti?cial intelligence. The 9th European Conference on Logics in AI, JELIA 2004, took place in Lisbon, Portugal, between the 27th and the 30th of September 2004, and was hosted by the Universidade Nova de Lisboa. Its technical program comprised 3 invited talks, by Francesca Rossi, Franz Baader, and Bernhard Nebel, and the presentationof52refereedtechnicalarticlesselectedbytheProgramCommittee among the 144 that were submitted, a number which in our opinion clearly indicates that the research area of logics in AI is one with a great and increasing interest.
"synopsis" may belong to another edition of this title.
Synopsis
This book constitutes the refereed proceedings of the 9th European Conference on Logics in Artificial Intelligence, JELIA 2004, held in Lisbon, Portugal, in September 2004.The 52 revised full papers and 15 revised systems presentation papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from a total of 169 submissions. The papers are organized in topical sections on multi-agent systems; logic programming and nonmonotonic reasoning; reasoning under uncertainty; logic programming; actions and causation; complexity; description logics; belief revision; modal, spatial, and temporal logics; theorem proving; and applications.
"About this title" may belong to another edition of this title.
Search results for Logics in Artificial Intelligence: 9th European Conference,...
Stock Image
Logics In Artificial Intelligence : 9th European Conference, Jelia 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 3195699
Seller Image
Logics in Artificial Intelligence
Published by
Springer Berlin Heidelberg Sep 2004, 2004
ISBN 10: 3540232427
ISBN 13: 9783540232421
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Logics have, for many years, laid claim to providing a formal basis for the study and development of applications and systems in arti cial intelligence. With the depth and maturity of formalisms, methodologies and logic-based systems - day, this claim is stronger than ever. The European Conference on Logics in Arti cial Intelligence (or Journ ees Europ eennes sur la Logique en Intelligence Arti cielle, JELIA) began back in 1988, as a workshop, in response to the need for a European forum for the discussion of emerging work in this eld. Since then, JELIA has been organized biennially, with English as its o cial language, previous meetings taking place in Rosco , France (1988), Amsterdam, Nether- lands (1990), Berlin, Germany (1992), York, UK (1994), Evora, Portugal (1996), Dagstuhl,Germany(1998),M alaga,Spain(2000)andCosenza,Italy(2002). The increasinginterestinthisforum,itsinternationallevelwithgrowingparticipation from researchers outside Europe, and the overall technical quality have turned JELIA into a major biennial forum for the discussion of logic-based approaches to arti cial intelligence. The 9th European Conference on Logics in AI, JELIA 2004, took place in Lisbon, Portugal, between the 27th and the 30th of September 2004, and was hosted by the Universidade Nova de Lisboa. Its technical program comprised 3 invited talks, by Francesca Rossi, Franz Baader, and Bernhard Nebel, and the presentationof52refereedtechnicalarticlesselectedbytheProgramCommittee among the 144 that were submitted, a number which in our opinion clearly indicates that the research area of logics in AI is one with a great and increasing interest. 764 pp. Englisch. Seller Inventory # 9783540232421
Seller Image
Logics In Artificial Intelligence : 9th European Conference, Jelia 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 3195699-n
Stock Image
Logics In Artificial Intelligence : 9th European Conference, Jelia 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 3195699-n
Buy New
£ 102.29
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings (Lecture Notes in Computer Science, 3229)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In English. Seller Inventory # ria9783540232421_new
Buy New
£ 106.71
£ 14.94 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Logics in Artificial Intelligence
Published by
Springer Berlin Heidelberg, 2004
ISBN 10: 3540232427
ISBN 13: 9783540232421
New
Kartoniert / Broschiert
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Invited Talks.- Representing and Reasoning with Preferences.- Engineering of Logics for the Content-Based Representation of Information.- Formal Methods in Robotics.- Multi-agent Systems.- Games for Cognitive Agents.- Knowledge-Theoretic Properties of Strat. Seller Inventory # 4885845
Buy New
£ 80.77
£ 41.63 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Logics In Artificial Intelligence : 9th European Conference, Jelia 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 3195699
Buy Used
£ 107.98
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Logics in Artificial Intelligence : 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Logics have, for many years, laid claim to providing a formal basis for the study and development of applications and systems in arti cial intelligence. With the depth and maturity of formalisms, methodologies and logic-based systems - day, this claim is stronger than ever. The European Conference on Logics in Arti cial Intelligence (or Journ ees Europ eennes sur la Logique en Intelligence Arti cielle, JELIA) began back in 1988, as a workshop, in response to the need for a European forum for the discussion of emerging work in this eld. Since then, JELIA has been organized biennially, with English as its o cial language, previous meetings taking place in Rosco , France (1988), Amsterdam, Nether- lands (1990), Berlin, Germany (1992), York, UK (1994), Evora, Portugal (1996), Dagstuhl,Germany(1998),M alaga,Spain(2000)andCosenza,Italy(2002). The increasinginterestinthisforum,itsinternationallevelwithgrowingparticipation from researchers outside Europe, and the overall technical quality have turned JELIA into a major biennial forum for the discussion of logic-based approaches to arti cial intelligence. The 9th European Conference on Logics in AI, JELIA 2004, took place in Lisbon, Portugal, between the 27th and the 30th of September 2004, and was hosted by the Universidade Nova de Lisboa. Its technical program comprised 3 invited talks, by Francesca Rossi, Franz Baader, and Bernhard Nebel, and the presentationof52refereedtechnicalarticlesselectedbytheProgramCommittee among the 144 that were submitted, a number which in our opinion clearly indicates that the research area of logics in AI is one with a great and increasing interest. Seller Inventory # 9783540232421
Seller Image
Logics in Artificial Intelligence | 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings
Print on DemandSeller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Logics in Artificial Intelligence | 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings | Jose Alferes (u. a.) | Taschenbuch | xiv | Englisch | 2004 | Springer | EAN 9783540232421 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. Seller Inventory # 102438215
Seller Image
Logics in Artificial Intelligence
Published by
Springer, Springer Sep 2004, 2004
ISBN 10: 3540232427
ISBN 13: 9783540232421
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Invited Talks.- Representing and Reasoning with Preferences.- Engineering of Logics for the Content-Based Representation of Information.- Formal Methods in Robotics.- Multi-agent Systems.- Games for Cognitive Agents.- Knowledge-Theoretic Properties of Strategic Voting.- The CIFF Proof Procedure for Abductive Logic Programming with Constraints.- Hierarchical Decision Making by Autonomous Agents.- Verifying Communicating Agents by Model Checking in a Temporal Action Logic.- Qualitative Action Theory.- Practical Reasoning for Uncertain Agents.- Modelling Communicating Agents in Timed Reasoning Logics.- Logic Programming and Nonmonotonic Reasoning.- On the Relation Between ID-Logic and Answer Set Programming.- An Implementation of Statistical Default Logic.- Capturing Parallel Circumscription with Disjunctive Logic Programs.- Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning.- Characterizations for Relativized Notions of Equivalence in Answer Set Programming.- Equivalence of Logic Programs Under Updates.- Cardinality Constraint Programs.- Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity.- Reasoning Under Uncertainty.- A Logic for Reasoning About Coherent Conditional Probability: A Modal Fuzzy Logic Approach.- A Logic with Conditional Probabilities.- Reasoning About Quantum Systems.- Sorted Multi-adjoint Logic Programs: Termination Results and Applications.- Logic Programming.- The Modal Logic Programming System MProlog.- Soundness and Completeness of an 'Efficient' Negation for Prolog.- Logic Programs with Functions and Default Values.- Actions and Causation.- Parallel Encodings of Classical Planning as Satisfiability.- Relational Markov Games.- On the Logic of 'Being Motivated to Achieve , Before '.- ComplexityIssues.- Representation and Complexity in Boolean Games.- Complexity in Value-Based Argument Systems.- A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment.- Description Logics.- Transforming Fuzzy Description Logics into Classical Description Logics.- Computing the Least Common Subsumer w.r.t. a Background Terminology.- Explaining Subsumption by Optimal Interpolation.- Belief Revision.- Two Approaches to Merging Knowledge Bases.- An Algebraic Approach to Belief Contraction and Nonmonotonic Entailment.- Logical Connectives for Nonmonotonicity: A Choice Function-Based Approach.- On Sceptical Versus Credulous Acceptance for Abstract Argument Systems.- Modal, Spacial, and Temporal Logics.- Line-Based Affine Reasoning in Euclidean Plane.- Measure Logics for Spatial Reasoning.- Only Knowing with Confidence Levels: Reductions and Complexity.- Time Granularities and Ultimately Periodic Automata.- Theorem Proving.- Polynomial Approximations of Full Propositional Logic via Limited Bivalence.- Some Techniques for Branch-Saturation in Free-Variable Tableaux.- Semantic Knowledge Partitioning.- Negative Hyper-resolution as Procedural Semantics of Disjunctive Logic Programs.- Applications.- Discovering Anomalies in Evidential Knowledge by Logic Programming.- Logic Programming Infrastructure for Inferences on FrameNet.- An Answer Set Programming Encoding of Prioritized Removed Sets Revision: Application to GIS.- Automatic Compilation of Protocol Insecurity Problems into Logic Programming.- Exploiting Functional Dependencies in Declarative Problem Specifications.- Combining Decision Procedures for Sorted Theories.- Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving.- Towards a Logical Analysis of Biochemical Pathways.- Systems Session.- Abductive Logic Programming with CIFF: System Description.- The DALI Logic Programming Agent-Oriented Language.- Qsmodels: ASP Planning in Interactive Gaming Environment.- A System with Template Answer Set Programs.- New DLV Features for Data Integration.- Profiling Answer Set Programming: The Visualization Component of the noMoRe System.- The PLP SysSpringer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 764 pp. Englisch. Seller Inventory # 9783540232421