Schobbens pierre yves (24 risultati)

Condizione: very_good. Gently read. May have name of previous ownership, or ex-library edition. Binding tight; spine straight and smooth, with no creasing; covers clean and crisp. Minimal signs of handling or shelving. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships USPS Media Mail.…

Condizione: As New. Unread book in perfect condition.

Condizione: As New. Unread book in perfect condition.

Condizione: New.

Condizione: New.

Paperback. Condizione: New. 1999 ed. This volume contains a number of revised papers that were selected from - pers presented at the last ModelAge workshop held in Certosa di Pertignano (Italy) in 1997, organised by the Institute of Psychology of the Italian CNR (IP-CNR), Division of Arti cial Intelligence, Cognitive Modeling and Inter- tion. The organisation chair was held by Amedeo Cesta. The workshop, and indeed the ModelAge project as a whole, aimed to bring together a number of researchers stemming from di erent disciplines to discuss formal models of agency from di erent perspectives. These disciplines included arti cial intel- gence, software engineering, applied logic, databases, and organisation theory. The e ld of intelligent agents has become an important research area within these disciplines, and in the workshop as in the present volume the concept of agency is thus considered from a multi-disciplinaryperspective. In the introductory chapter of this volume more can be found on the area of intelligent agents as well as on the topic of formal models of these.We f- thermore provide some key references, so that the reader can better appreciate the position of the present volume within the literature on agent technology.…

Condizione: New.

Condizione: New. In English.

Condizione: New. In English.

Condizione: As New. Unread book in perfect condition.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Formal Models of Agents: An Introduction.- A Model of BDI-Agent in Game-Theoretic Framework.- Dynamic Belief Hierarchies.- Modelling Internal Dynamic Behaviour of BDI Agents.- Towards an Agent-Oriented Framework for Specification of Information Systems.- The Impossibility of Modelling Cooperation in PD-Game.- Designing Multi-agent Systems around an Extensible Communication Abstraction.- Social Interactions of Autonomous Agents: Private and Global Views on Communication.- Towards a Proof-Theoretic Foundation for Actor Specification and Verification.- Nondeterministic Actions with Typical Effects: Reasoning about Scenarios.- Agents' Dynamic Mental Attitudes.- Diagnostic Agents for Distributed Systems.- Preferential Action Semantics (Preliminary Report).- Dialectical proof theory for defeasible argumentation with defeasible priorities (preliminary report).- The Role of Diagnosis and Decision Theory in Normative Reasoning.- Contextual Deontic Logic.…

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Contributed Papers.- A Temporal Graph Logic for Verification of Graph Transformation Systems.- On the Algebraization of Many-Sorted Logics.- Algebraic Semantics of Service Component Modules.- Autonomous Units and Their Semantics - The Parallel Case.- Reasoning Support for Casl with Automated Theorem Proving Systems.- Structured CSP - A Process Algebra as an Institution.- Incremental Resolution of Model Inconsistencies.- Coalgebraic Modal Logic in CoCasl.- SVtL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts.- A (Co)Algebraic Analysis of Synchronization in CSP.…

Condizione: New. Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 6-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.…

Paperback. Condizione: New. 1999 ed. This volume contains a number of revised papers that were selected from - pers presented at the last ModelAge workshop held in Certosa di Pertignano (Italy) in 1997, organised by the Institute of Psychology of the Italian CNR (IP-CNR), Division of Arti cial Intelligence, Cognitive Modeling and Inter- tion. The organisation chair was held by Amedeo Cesta. The workshop, and indeed the ModelAge project as a whole, aimed to bring together a number of researchers stemming from di erent disciplines to discuss formal models of agency from di erent perspectives. These disciplines included arti cial intel- gence, software engineering, applied logic, databases, and organisation theory. The e ld of intelligent agents has become an important research area within these disciplines, and in the workshop as in the present volume the concept of agency is thus considered from a multi-disciplinaryperspective. In the introductory chapter of this volume more can be found on the area of intelligent agents as well as on the topic of formal models of these.We f- thermore provide some key references, so that the reader can better appreciate the position of the present volume within the literature on agent technology.…

PF. Condizione: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

PF. Condizione: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains a number of revised papers that were selected from - pers presented at the last ModelAge workshop held in Certosa di Pertignano (Italy) in 1997, organised by the Institute of Psychology of the Italian CNR (IP-CNR), Division of Arti cial Intelligence, Cognitive Modeling and Inter- tion. The organisation chair was held by Amedeo Cesta. The workshop, and indeed the ModelAge project as a whole, aimed to bring together a number of researchers stemming from di erent disciplines to discuss formal models of agency from di erent perspectives. These disciplines included arti cial intel- gence, software engineering, applied logic, databases, and organisation theory. The e ld of intelligent agents has become an important research area within these disciplines, and in the workshop as in the present volume the concept of agency is thus considered from a multi-disciplinaryperspective. In the introductory chapter of this volume more can be found on the area of intelligent agents as well as on the topic of formal models of these. We f- thermore provide some key references, so that the reader can better appreciate the position of the present volume within the literature on agent technology. 268 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed postproceedings of the 18th International Workshop on Algebraic Development Techniques, WADT 2006, held in La Roche en Ardenne, Belgium, June 2006. The 10 revised full papers focus on the algebraic approach to the specification and development of systems and address topics such as formal methods for system development, specification languages and methods, and distributed and mobile systems. 184 pp. Englisch.…

Kartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the thoroughly refereed postproceedings of the 18th International Workshop on Algebraic Development Techniques, WADT 2006, held in La Roche en Ardenne, Belgium, June 2006. The 10 revised full papers focus on the algebraic approach t.…

Kartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Formal Models of Agents: An Introduction.- A Model of BDI-Agent in Game-Theoretic Framework.- Dynamic Belief Hierarchies.- Modelling Internal Dynamic Behaviour of BDI Agents.- Towards an Agent-Oriented Framework for Specification of Information Systems.- Th.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Formal Models of Agents: An Introduction.- A Model of BDI-Agent in Game-Theoretic Framework.- Dynamic Belief Hierarchies.- Modelling Internal Dynamic Behaviour of BDI Agents.- Towards an Agent-Oriented Framework for Specification of Information Systems.- The Impossibility of Modelling Cooperation in PD-Game.- Designing Multi-agent Systems around an Extensible Communication Abstraction.- Social Interactions of Autonomous Agents: Private and Global Views on Communication.- Towards a Proof-Theoretic Foundation for Actor Specification and Verification.- Nondeterministic Actions with Typical Effects: Reasoning about Scenarios.- Agents' Dynamic Mental Attitudes.- Diagnostic Agents for Distributed Systems.- Preferential Action Semantics (Preliminary Report).- Dialectical proof theory for defeasible argumentation with defeasible priorities (preliminary report).- The Role of Diagnosis and Decision Theory in Normative Reasoning.- Contextual Deontic Logic.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 268 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Contributed Papers.- A Temporal Graph Logic for Verification of Graph Transformation Systems.- On the Algebraization of Many-Sorted Logics.- Algebraic Semantics of Service Component Modules.- Autonomous Units and Their Semantics - The Parallel Case.- Reasoning Support for Casl with Automated Theorem Proving Systems.- Structured CSP - A Process Algebra as an Institution.- Incremental Resolution of Model Inconsistencies.- Coalgebraic Modal Logic in CoCasl.- SVtL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts.- A (Co)Algebraic Analysis of Synchronization in CSP.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 184 pp. Englisch.…

Taschenbuch. Condizione: Neu. Recent Trends in Algebraic Development Techniques | 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers | José Luiz Fiadeiro (u. a.) | Taschenbuch | viii | Englisch | 2007 | Springer | EAN 9783540719977 | 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.…

Taschenbuch. Condizione: Neu. Formal Models of Agents | ESPRIT Project ModelAge Final Report Selected Papers | John-Jules C. Meyer (u. a.) | Taschenbuch | viii | Englisch | 2000 | Springer | EAN 9783540670278 | 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.…