Computational logic in multi-agent systems : 8th international workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007 : revised selected and invited papers / / Fariba Sadri, Ken Satoh (editors) |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin ; ; Heidelberg ; ; New York : , : Springer, , [2008] |
Descrizione fisica | 1 online resource (X, 299 p.) |
Disciplina | 004.015113 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico | Computer logic |
ISBN | 3-540-88833-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Paper -- Plan-Coordination Mechanisms and the Price of Autonomy -- Regular Papers -- Actions with Failures in Interval Temporal Logic -- A Logic for Reasoning about Rational Agents -- Formal Modelling of Emotions in BDI Agents -- ‘What I Fail to Do Today, I Have to Do Tomorrow’: A Logical Study of the Propagation of Obligations -- Proof Theory for Distributed Knowledge -- EVOLP: Transformation-Based Semantics -- Language Constructs for Multi-agent Programming -- -Tropos -- A Heuristic Approach to P2P Negotiation -- Towards Context Sensitive Defeasible Rules -- Fuzzy Argumentation for Trust -- Assumption-Based Argumentation for Selection and Composition of Services -- A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems -- Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs -- System Description Paper -- EVOLP: An Implementation. |
Record Nr. | UNISA-996466117303316 |
Berlin ; ; Heidelberg ; ; New York : , : Springer, , [2008] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computational logic in multi-agent systems : 8th international workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007 : revised selected and invited papers / / Fariba Sadri, Ken Satoh (editors) |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin ; ; Heidelberg ; ; New York : , : Springer, , [2008] |
Descrizione fisica | 1 online resource (X, 299 p.) |
Disciplina | 004.015113 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico | Computer logic |
ISBN | 3-540-88833-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Paper -- Plan-Coordination Mechanisms and the Price of Autonomy -- Regular Papers -- Actions with Failures in Interval Temporal Logic -- A Logic for Reasoning about Rational Agents -- Formal Modelling of Emotions in BDI Agents -- ‘What I Fail to Do Today, I Have to Do Tomorrow’: A Logical Study of the Propagation of Obligations -- Proof Theory for Distributed Knowledge -- EVOLP: Transformation-Based Semantics -- Language Constructs for Multi-agent Programming -- -Tropos -- A Heuristic Approach to P2P Negotiation -- Towards Context Sensitive Defeasible Rules -- Fuzzy Argumentation for Trust -- Assumption-Based Argumentation for Selection and Composition of Services -- A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems -- Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs -- System Description Paper -- EVOLP: An Implementation. |
Record Nr. | UNINA-9910768445303321 |
Berlin ; ; Heidelberg ; ; New York : , : Springer, , [2008] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Computational logic in multi-agent systems : 7th international workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006 : revised selected and invited papers / / Katsumi Inoue, Ken Satoh, Francesca Toni (editors) |
Edizione | [1st ed. 2007.] |
Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [2007] |
Descrizione fisica | 1 online resource (X, 318 p.) |
Disciplina | 004.015113 |
Collana | Lecture notes in artificial intelligence |
Soggetto topico | Computer logic |
ISBN |
1-280-86404-4
9786610864041 3-540-69619-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Regular Papers -- Acts of Commanding and Changing Obligations -- Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming -- On a Linear Framework for Belief Dynamics in Multi-agent Environments -- Answer Set Programming for Representing and Reasoning About Virtual Institutions -- A Complete Probabilistic Belief Logic -- Prototyping 3APL in the Maude Term Rewriting Language -- Dialogue Game Tree with Nondeterministic Additive Consolidation -- Representing and Verifying Temporal Epistemic Properties in Multi-Agent Systems -- A New Logical Semantics for Agent Communication -- Contextual Reasoning in Agent Systems -- An Argumentation-Based Negotiation for Distributed Extended Logic Programs -- Belief Updating by Communication Channel -- On the Implementation of Global Abduction -- Adding Evolving Abilities to a Multi-Agent System -- Contest Papers -- The Second Contest on Multi-Agent Systems Based on Computational Logic -- Using Antimodels to Define Agents’ Strategy -- Multi-Agent FLUX for the Gold Mining Domain (System Description) -- Using Jason to Implement a Team of Gold Miners. |
Record Nr. | UNINA-9910484635303321 |
Berlin ; ; Heidelberg : , : Springer, , [2007] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Computational logic in multi-agent systems : 7th international workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006 : revised selected and invited papers / / Katsumi Inoue, Ken Satoh, Francesca Toni (editors) |
Edizione | [1st ed. 2007.] |
Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [2007] |
Descrizione fisica | 1 online resource (X, 318 p.) |
Disciplina | 004.015113 |
Collana | Lecture notes in artificial intelligence |
Soggetto topico | Computer logic |
ISBN |
1-280-86404-4
9786610864041 3-540-69619-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Regular Papers -- Acts of Commanding and Changing Obligations -- Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming -- On a Linear Framework for Belief Dynamics in Multi-agent Environments -- Answer Set Programming for Representing and Reasoning About Virtual Institutions -- A Complete Probabilistic Belief Logic -- Prototyping 3APL in the Maude Term Rewriting Language -- Dialogue Game Tree with Nondeterministic Additive Consolidation -- Representing and Verifying Temporal Epistemic Properties in Multi-Agent Systems -- A New Logical Semantics for Agent Communication -- Contextual Reasoning in Agent Systems -- An Argumentation-Based Negotiation for Distributed Extended Logic Programs -- Belief Updating by Communication Channel -- On the Implementation of Global Abduction -- Adding Evolving Abilities to a Multi-Agent System -- Contest Papers -- The Second Contest on Multi-Agent Systems Based on Computational Logic -- Using Antimodels to Define Agents’ Strategy -- Multi-Agent FLUX for the Gold Mining Domain (System Description) -- Using Jason to Implement a Team of Gold Miners. |
Record Nr. | UNISA-996465871603316 |
Berlin ; ; Heidelberg : , : Springer, , [2007] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
New frontiers in artificial intelligence : JSAI 2007 conference and workshops, Miyazaki, Japan, June 18-22, 2007 : revised selected papers / / Ken Satoh (eds.) |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2008] |
Descrizione fisica | 1 online resource (X, 406 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico | Artificial intelligence |
ISBN | 3-540-78197-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Awarded Papers -- Overview of Awarded Papers: The 21st Annual Conference of JSAI -- Modeling Human-Agent Interaction Using Bayesian Network Technique -- Analysis and Design Methodology for Product-Based Services -- Consideration of Infants’ Vocal Imitation Through Modeling Speech as Timbre-Based Melody -- Metrics for Evaluating the Serendipity of Recommendation Lists -- Moving Sound Source Extraction by Time-Variant Beamforming -- Video Scene Retrieval Using Online Video Annotation -- Spatio-temporal Semantic Map for Acquiring and Retargeting Knowledge on Everyday Life Behavior -- Logic and Engineering of Natural Language Semantics -- Overview of Logic and Engineering of Natural Language Semantics (LENLS) 2007 -- Semantic Heterogeneity in Evidentials -- Acts of Promising in Dynamified Deontic Logic -- Dynamic Semantics of Quantified Modal Mu-Calculi and Its Applications to Modelling Public Referents, Speaker’s Referents, and Semantic Referents -- Inverse Scope as Metalinguistic Quotation in Operational Semantics -- A Multimodal Type Logical Grammar Analysis of Japanese: Word Order and Quantifier Scope -- Coordinating and Subordinating Dependencies -- Left-Peripheral and Sentence-Internal Topics in Japanese -- Incremental Processing and Design of a Parser for Japanese: A Dynamic Approach -- Breaking Quotations -- A Modifier Hypothesis on the Japanese Indeterminate Quantifier Phrase -- A Presuppositional Analysis of Definite Descriptions in Proof Theory -- Meaning Games -- Risk Informatics -- International Workshop on Risk Informatics (RI2007) -- Chance Discovery in Credit Risk Management -- Risk Bias Externalization for Offshore Software Outsourcing by Conjoint Analysis -- Extracting Failure Knowledge with Associative Search -- Data Mining Analysis of Relationship Between Blood Stream Infection and Clinical Background in Patients Undergoing Lactobacillus Therapy -- Discovery of Risky Cases in Chronic Diseases: An Approach Using Trajectory Grouping -- Learning with Logics and Logics for Learning -- The Fifth Workshop on Learning with Logics and Logics for Learning (LLLL2007) -- Mining Maximal Flexible Patterns in a Sequence -- Computing Characteristic Sets of Bounded Unions of Polynomial Ideals -- Towards a Logical Reconstruction of CF-Induction -- Juris-Informatics -- First International Workshop on Juris-Informatics -- Towards Translation of Legal Sentences into Logical Forms -- Automatic Consolidation of Japanese Statutes Based on Formalization of Amendment Sentences -- Characterized Argument Agent for Training Partner -- Assumption-Based Argumentation for Closed and Consistent Defeasible Reasoning. |
Record Nr. | UNINA-9910482973703321 |
Berlin, Germany ; ; New York, New York : , : Springer, , [2008] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
New frontiers in artificial intelligence : JSAI 2007 conference and workshops, Miyazaki, Japan, June 18-22, 2007 : revised selected papers / / Ken Satoh (eds.) |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2008] |
Descrizione fisica | 1 online resource (X, 406 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico | Artificial intelligence |
ISBN | 3-540-78197-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Awarded Papers -- Overview of Awarded Papers: The 21st Annual Conference of JSAI -- Modeling Human-Agent Interaction Using Bayesian Network Technique -- Analysis and Design Methodology for Product-Based Services -- Consideration of Infants’ Vocal Imitation Through Modeling Speech as Timbre-Based Melody -- Metrics for Evaluating the Serendipity of Recommendation Lists -- Moving Sound Source Extraction by Time-Variant Beamforming -- Video Scene Retrieval Using Online Video Annotation -- Spatio-temporal Semantic Map for Acquiring and Retargeting Knowledge on Everyday Life Behavior -- Logic and Engineering of Natural Language Semantics -- Overview of Logic and Engineering of Natural Language Semantics (LENLS) 2007 -- Semantic Heterogeneity in Evidentials -- Acts of Promising in Dynamified Deontic Logic -- Dynamic Semantics of Quantified Modal Mu-Calculi and Its Applications to Modelling Public Referents, Speaker’s Referents, and Semantic Referents -- Inverse Scope as Metalinguistic Quotation in Operational Semantics -- A Multimodal Type Logical Grammar Analysis of Japanese: Word Order and Quantifier Scope -- Coordinating and Subordinating Dependencies -- Left-Peripheral and Sentence-Internal Topics in Japanese -- Incremental Processing and Design of a Parser for Japanese: A Dynamic Approach -- Breaking Quotations -- A Modifier Hypothesis on the Japanese Indeterminate Quantifier Phrase -- A Presuppositional Analysis of Definite Descriptions in Proof Theory -- Meaning Games -- Risk Informatics -- International Workshop on Risk Informatics (RI2007) -- Chance Discovery in Credit Risk Management -- Risk Bias Externalization for Offshore Software Outsourcing by Conjoint Analysis -- Extracting Failure Knowledge with Associative Search -- Data Mining Analysis of Relationship Between Blood Stream Infection and Clinical Background in Patients Undergoing Lactobacillus Therapy -- Discovery of Risky Cases in Chronic Diseases: An Approach Using Trajectory Grouping -- Learning with Logics and Logics for Learning -- The Fifth Workshop on Learning with Logics and Logics for Learning (LLLL2007) -- Mining Maximal Flexible Patterns in a Sequence -- Computing Characteristic Sets of Bounded Unions of Polynomial Ideals -- Towards a Logical Reconstruction of CF-Induction -- Juris-Informatics -- First International Workshop on Juris-Informatics -- Towards Translation of Legal Sentences into Logical Forms -- Automatic Consolidation of Japanese Statutes Based on Formalization of Amendment Sentences -- Characterized Argument Agent for Training Partner -- Assumption-Based Argumentation for Closed and Consistent Defeasible Reasoning. |
Record Nr. | UNISA-996465277103316 |
Berlin, Germany ; ; New York, New York : , : Springer, , [2008] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|