9783540441908 - logics in artificial intelligence: european conference, jelia 2002, cosenza, italy, september, 23-26, proceedings par ianni, giovambattista; flesca, sergio (7 résultats)
- Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 116,78
EUR 14,02 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. In.
- Couverture souple
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 106,99
EUR 64,40 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - TheEuropeanConferenceonLogicsinAIprovidesamajorbiennialforumforthe discussion of logic-oriented approaches to arti cial intelligence. Following pre- ous workshops held in France (1988), The Netherlands (1990), Germany (1992), England (1994), Portugal (…1996), Germany (1998), and Spain (2000) the eighth conference was in Cosenza, Italy, September 23 26, 2002. The international level and the overall technical quality of this event is now well established. As a c- sequence, the Program Committee wished to explicitly mark JELIA 2002 as a milestone by promoting the event from a Workshop to a Conference . Theaimwastobringtogetheractiveresearchersinterestedinallaspectsc- cerning the use of logics in arti cial intelligence to discuss current research, - sults,problems,andapplicationsofboththeoreticalandpracticalnature. JELIA strived to foster links and facilitate cross-fertilization of ideas among researchers from various disciplines, among researchers from academia, industry, and g- ernment, and between theoreticians and practitioners. ThetechnicalprogramofJELIA2002comprisedthreeinvitedtalksthatwere given by Georg Gottlob, Michael Gelfond, and Moshe Y. Vardi and 41 refereed contributions selected by the Program Committee amongst more than 100 s- mittedpapers. Asapartofthetechnicalprogram,theconferencefeaturedas- cial session consisting of 11 system presentations. Finally, the program included three tutorials by V. S. Subrahamanian, Dino Pedreschi and Fosca Giannotti, and Gerald Pfeifer.
- Couverture souple
Vendeur : Mispah books, Redhill, SURRE, Royaume-UniMispah books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Occasion - Comme neuf
EUR 224,21
EUR 29,26 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Paperback. Etat : Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Langue : anglais
Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2002, 2002
- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 106,99
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -TheEuropeanConferenceonLogicsinAIprovidesamajorbiennialforumforthe discussion of logic-oriented approaches to arti cial intelligence. Following pre- ous workshops held in France (1988), The Netherlands (1990), Germany (1992), England (1…994), Portugal (1996), Germany (1998), and Spain (2000) the eighth conference was in Cosenza, Italy, September 23 26, 2002. The international level and the overall technical quality of this event is now well established. As a c- sequence, the Program Committee wished to explicitly mark JELIA 2002 as a milestone by promoting the event from a Workshop to a Conference . Theaimwastobringtogetheractiveresearchersinterestedinallaspectsc- cerning the use of logics in arti cial intelligence to discuss current research, - sults,problems,andapplicationsofboththeoreticalandpracticalnature. JELIA strived to foster links and facilitate cross-fertilization of ideas among researchers from various disciplines, among researchers from academia, industry, and g- ernment, and between theoreticians and practitioners. ThetechnicalprogramofJELIA2002comprisedthreeinvitedtalksthatwere given by Georg Gottlob, Michael Gelfond, and Moshe Y. Vardi and 41 refereed contributions selected by the Program Committee amongst more than 100 s- mittedpapers. Asapartofthetechnicalprogram,theconferencefeaturedas- cial session consisting of 11 system presentations. Finally, the program included three tutorials by V. S. Subrahamanian, Dino Pedreschi and Fosca Giannotti, and Gerald Pfeifer. 588 pp. Englisch.
- Couverture souple
- impression à la demande
Vendeur : moluna, Greven, Allemagnemoluna
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 92,27
EUR 48,99 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Multi-agent Systems.- A Logic Programming Language for Multi-agent Systems.- A Proof-System for the Safe Execution of Tasks in Multi-agent Systems.- An Argumentation Framework for Merging Conflicting Knowledge Bases.- Mul…ti-agent Logics of Dynamic Belief an.
Autres images- Couverture souple
- impression à la demande
Vendeur : preigu, Osnabrück, Allemagnepreigu
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 95,70
EUR 70,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponible(s)
Taschenbuch. Etat : Neu. Logics in Artificial Intelligence | European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings | Sergio Flesca (u. a.) | Taschenbuch | xiii | Englisch | 2002 | Springer | EAN 9783540441908 | 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.
- Couverture souple
- Signé
- impression à la demande
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagnebuchversandmimpf2000
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 106,99
EUR 60,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Multi-agent Systems.- A Logic Programming Language for Multi-agent Systems.- A Proof-System for the Safe Execution of Tasks in Multi-agent Systems.- An Argumentation Framework for Merging Conflicting Knowledge Bases.- Multi-agent Logics of…Dynamic Belief and Knowledge.- Evolution and Changes.- Evolving Logic Programs.- A Compilation of Updates plus Preferences.- Description Logic and Semantic Web.- Towards Service Description Logics.- P- (D): A Probabilistic Extension of (D) for Probabilistic Ontologies in the Semantic Web.- A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries.- Complexity Issues.- Polynomial-Length Planning Spans the Polynomial Hierarchy.- Complexity of Multi-agent Systems Behavior.- Complexity and Algorithms for the Matching of Bag and Set Terms.- Probabilistic Logic.- Non-commutativity and Expressive Deductive Logic Databases.- Using Institutions for the Study of Qualitative and Quantitative Conditional Logics.- Planning.- Theoretical and Empirical Aspects of a Planner in a Multi-agent Environment.- Answer Set Planning under Action Costs.- Modal Logic and Causal Reasoning.- On Fibring Semantics for BDI Logics.- A Modal Formulation of McCain and Turner's Theory of Causal Reasoning.- Second-Order Quantifier Elimination in Modal Contexts.- Theory.- Interpolation Theorems for Nonmonotonic Reasoning Systems.- Minimal Answer Computation and SOL.- Decidability of Interval Temporal Logics over Split-Frames via Granularity.- Reasoning under Uncertainty.- Uncertainty and Partial Non-uniform Assumptions in Parametric Deductive Databases.- A Qualitative Reasoning with Nuanced Information.- Satisfiability.- Dependent and Independent Variables in Propositional Satisfiability.- A DPLL-Based Calculus for Ground SatisfiabilityModulo Theories.- Paraconsistent Reasoning.- Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems.- Three-Valued Logics for Inconsistency Handling.- Paraconsistent Logic Programs.- Actions and Causation.- Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem.- Reasoning about Actions in Prioritized Default Theory.- Towards a Conditional Logic of Actions and Causation.- Logics for Agents.- Axiomatising Nash-Consistent Coalition Logic.- Representing Possibilities in Relation to Constraints and Agents.- An Abductive Logic Programming Architecture for Negotiating Agents.- Semantics.- Preferred Answer Sets for Ordered Logic Programs.- Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs.- An Infinite-Valued Semantics for Logic Programs with Negation.- Optimization Issues in Answer Set Semantics.- More on noMoRe.- Answer Set Programming by Ant Colony Optimization.- Testing the Equivalence of Logic Programs under Stable Model Semantics.- System Session.- Argumentative Reasoning with ABEL.- COBA: A Consistency-Based Belief Revision System.- Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems.- : Integrating Data Mining with Intelligent Query Answering.- NoMoRe: Non-monotonic Reasoning with Logic Programs.- Process Miner - A Tool for Mining Process Schemes from Event-Based Data.- SMILES: A Multi-purpose Learning System.- The aspps System.- The DLV System.- The DLVK Planning System: Progress Report.- Z-log: Applying System-Z.- Invited Talks.- Hypergraph Transversal Computation and Related Problems in Logic and AI.- Alternation.- The USA-Advisor: A Case Study in Answer Set Programming.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 588 pp. Englisch.
