Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Computational Logic in Multi-Agent Systems [[electronic resource] ] : 11th International Workshop, CLIMAX XI, Lisbon, Portugal, August 16-17, 2010, Proceedings / / edited by Jürgen Dix, Joao Leite, Guido Governatori, Wojtek Jamroga
| Computational Logic in Multi-Agent Systems [[electronic resource] ] : 11th International Workshop, CLIMAX XI, Lisbon, Portugal, August 16-17, 2010, Proceedings / / edited by Jürgen Dix, Joao Leite, Guido Governatori, Wojtek Jamroga |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIV, 257 p. 42 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer communication systems Software engineering Computer logic Mathematical logic Artificial Intelligence Computer Communication Networks Software Engineering/Programming and Operating Systems Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| ISBN | 3-642-14977-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Is Computational Complexity a Barrier to Manipulation? -- Games, Norms and Strategic Notions in Information Flow Security -- Group Announcements: Logic and Games (Abstract of Invited Talk) -- Strong Equivalence in Argumentation -- Regular Papers -- Hypergraphs of Multiparty Secrets -- Combining Logics in Simple Type Theory -- Speculative Abductive Reasoning for Hierarchical Agent Systems -- Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of ?-Calculus Processes -- What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior -- Verifying Business Process Compliance by Reasoning about Actions -- From Organisation Specification to Normative Programming in Multi-Agent Organisations -- Finding Uniform Strategies for Multi-agent Systems -- Playing Extensive Form Games in Parallel -- Exploring the Boundary of Half Positionality -- Proof-Theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets -- An Agent Language with Destructive Assignment and Model-Theoretic Semantics -- Model Checking Agent Programs by Using the Program Interpreter -- A Dialogue Games Framework for the Operational Semantics of Logic Agent-Oriented Languages. |
| Record Nr. | UNISA-996466280103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational Logic in Multi-Agent Systems [[electronic resource] ] : 11th International Workshop, CLIMAX XI, Lisbon, Portugal, August 16-17, 2010, Proceedings / / edited by Jürgen Dix, Joao Leite, Guido Governatori, Wojtek Jamroga
| Computational Logic in Multi-Agent Systems [[electronic resource] ] : 11th International Workshop, CLIMAX XI, Lisbon, Portugal, August 16-17, 2010, Proceedings / / edited by Jürgen Dix, Joao Leite, Guido Governatori, Wojtek Jamroga |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIV, 257 p. 42 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer communication systems Software engineering Computer logic Mathematical logic Artificial Intelligence Computer Communication Networks Software Engineering/Programming and Operating Systems Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| ISBN | 3-642-14977-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Is Computational Complexity a Barrier to Manipulation? -- Games, Norms and Strategic Notions in Information Flow Security -- Group Announcements: Logic and Games (Abstract of Invited Talk) -- Strong Equivalence in Argumentation -- Regular Papers -- Hypergraphs of Multiparty Secrets -- Combining Logics in Simple Type Theory -- Speculative Abductive Reasoning for Hierarchical Agent Systems -- Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of ?-Calculus Processes -- What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior -- Verifying Business Process Compliance by Reasoning about Actions -- From Organisation Specification to Normative Programming in Multi-Agent Organisations -- Finding Uniform Strategies for Multi-agent Systems -- Playing Extensive Form Games in Parallel -- Exploring the Boundary of Half Positionality -- Proof-Theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets -- An Agent Language with Destructive Assignment and Model-Theoretic Semantics -- Model Checking Agent Programs by Using the Program Interpreter -- A Dialogue Games Framework for the Operational Semantics of Logic Agent-Oriented Languages. |
| Record Nr. | UNINA-9910484533003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Knowledge Engineering: Practice and Patterns [[electronic resource] ] : 17th International Conference, EKAW 2010, Lisbon, Portugal, October 11-15, 2010, Proceedings / / edited by Philipp Cimiano, H. Sofia Pinto
| Knowledge Engineering: Practice and Patterns [[electronic resource] ] : 17th International Conference, EKAW 2010, Lisbon, Portugal, October 11-15, 2010, Proceedings / / edited by Philipp Cimiano, H. Sofia Pinto |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XXV, 588 p. 152 illus.) |
| Disciplina | 006.33 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer communication systems Software engineering Application software Information storage and retrieval Artificial Intelligence Computer Communication Networks Software Engineering/Programming and Operating Systems Information Systems Applications (incl. Internet) Information Storage and Retrieval Computer Appl. in Administrative Data Processing |
| Soggetto genere / forma | Kongress |
| ISBN |
1-280-38992-3
9786613567840 3-642-16438-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Knowledge Engineering: Alignment and Identity -- Pattern-Based Mapping Refinement -- Practical Considerations on Identity for Instance Management in Ontological Investigation -- Knowledge Acquisition -- Involving Business Users in Formal Modeling Using Natural Language Pattern Sentences -- Knowledge Acquisition from Sources of Law in Public Administration -- Enriching the Gene Ontology via the Dissection of Labels Using the Ontology Pre-processor Language -- Collaboration in Knowledge Engineering -- Ontology Development for the Masses: Creating ICD-11 in WebProtégé -- RDFauthor: Employing RDFa for Collaborative Knowledge Engineering -- Knowledge Engineering: Patterns -- Pattern-Based Ontology Transformation Service Exploiting OPPL and OWL-API -- Experimenting with eXtreme Design -- Social Aspects and Tagging -- Weaving a Social Data Web with Semantic Pingback -- Social People-Tagging vs. Social Bookmark-Tagging -- FOLCOM or the Costs of Tagging -- Semantic Web, Web of Data and Linked Data -- Epiphany: Adaptable RDFa Generation Linking the Web of Documents to the Web of Data -- Scaling Up Question-Answering to Linked Data -- Ontology Evolution / Refinement -- Using Semantic Web Resources for Data Quality Management -- Using Ontological Contexts to Assess the Relevance of Statements in Ontology Evolution -- What Is Concept Drift and How to Measure It? -- Knowledge Access -- Mobile Cultural Heritage Guide: Location-Aware Semantic Search -- Semantic Scout: Making Sense of Organizational Knowledge -- Annotation, Retrieval and Natural Language Processing -- Authoring Technical Documents for Effective Retrieval -- A Methodology towards Effective and Efficient Manual Document Annotation: Addressing Annotator Discrepancy and Annotation Quality -- Towards Better Ontological Support for Recognizing Textual Entailment -- Short Papers -- Making Sense of Design Patterns -- Acquiring and Modelling Legal Knowledge Using Patterns: An Application for the Dutch Immigration and Naturalisation Service -- A Model-Driven Approach for Using Templates in OWL Ontologies -- Specialization and Validation of Statecharts in OWL -- Temporal Knowledge Acquisition and Modeling -- Using Machine Learning to Support Continuous Ontology Development -- Handling Markup Overlaps Using OWL -- Ontology Learning for Cost-Effective Large-Scale Semantic Annotation of Web Service Interfaces -- Towards Hybrid Reasoning for Verifying and Validating Multilevel Models -- Representing, Proving and Sharing Trustworthiness of Web Resources Using Veracity -- Enhancing Content-Based Recommendation with the Task Model of Classification -- Extending Open Rating Systems for Ontology Ranking and Reuse -- HyperTwitter: Collaborative Knowledge Engineering via Twitter Messages -- TagSorting: A Tagging Environment for Collaboratively Building Ontologies -- QuiKey – An Efficient Semantic Command Line -- Kali-ma: A Semantic Guide to Browsing and Accessing Functionalities in Plugin-Based Tools -- Constructing Understandable Explanations for Semantic Search Results -- Ontology Engineering with Rough Concepts and Instances -- Building Large Lexicalized Ontologies from Text: A Use Case in Automatic Indexing of Biotechnology Patents -- ReBEC: A Method for Capturing Experience during Software Development Projects -- Reasoning by Analogy in the Generation of Domain Acceptable Ontology Refinements -- Evaluations of User-Driven Ontology Summarization -- A Visualization Service for the Semantic Web -- How Much Semantic Data on Small Devices? -- A Semantic Approach for Learning Objects Repositories with Knowledge Reuse. |
| Record Nr. | UNISA-996466257103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Knowledge Engineering: Practice and Patterns [[electronic resource] ] : 17th International Conference, EKAW 2010, Lisbon, Portugal, October 11-15, 2010, Proceedings / / edited by Philipp Cimiano, H. Sofia Pinto
| Knowledge Engineering: Practice and Patterns [[electronic resource] ] : 17th International Conference, EKAW 2010, Lisbon, Portugal, October 11-15, 2010, Proceedings / / edited by Philipp Cimiano, H. Sofia Pinto |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XXV, 588 p. 152 illus.) |
| Disciplina | 006.33 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer communication systems Software engineering Application software Information storage and retrieval Artificial Intelligence Computer Communication Networks Software Engineering/Programming and Operating Systems Information Systems Applications (incl. Internet) Information Storage and Retrieval Computer Appl. in Administrative Data Processing |
| Soggetto genere / forma | Kongress |
| ISBN |
1-280-38992-3
9786613567840 3-642-16438-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Knowledge Engineering: Alignment and Identity -- Pattern-Based Mapping Refinement -- Practical Considerations on Identity for Instance Management in Ontological Investigation -- Knowledge Acquisition -- Involving Business Users in Formal Modeling Using Natural Language Pattern Sentences -- Knowledge Acquisition from Sources of Law in Public Administration -- Enriching the Gene Ontology via the Dissection of Labels Using the Ontology Pre-processor Language -- Collaboration in Knowledge Engineering -- Ontology Development for the Masses: Creating ICD-11 in WebProtégé -- RDFauthor: Employing RDFa for Collaborative Knowledge Engineering -- Knowledge Engineering: Patterns -- Pattern-Based Ontology Transformation Service Exploiting OPPL and OWL-API -- Experimenting with eXtreme Design -- Social Aspects and Tagging -- Weaving a Social Data Web with Semantic Pingback -- Social People-Tagging vs. Social Bookmark-Tagging -- FOLCOM or the Costs of Tagging -- Semantic Web, Web of Data and Linked Data -- Epiphany: Adaptable RDFa Generation Linking the Web of Documents to the Web of Data -- Scaling Up Question-Answering to Linked Data -- Ontology Evolution / Refinement -- Using Semantic Web Resources for Data Quality Management -- Using Ontological Contexts to Assess the Relevance of Statements in Ontology Evolution -- What Is Concept Drift and How to Measure It? -- Knowledge Access -- Mobile Cultural Heritage Guide: Location-Aware Semantic Search -- Semantic Scout: Making Sense of Organizational Knowledge -- Annotation, Retrieval and Natural Language Processing -- Authoring Technical Documents for Effective Retrieval -- A Methodology towards Effective and Efficient Manual Document Annotation: Addressing Annotator Discrepancy and Annotation Quality -- Towards Better Ontological Support for Recognizing Textual Entailment -- Short Papers -- Making Sense of Design Patterns -- Acquiring and Modelling Legal Knowledge Using Patterns: An Application for the Dutch Immigration and Naturalisation Service -- A Model-Driven Approach for Using Templates in OWL Ontologies -- Specialization and Validation of Statecharts in OWL -- Temporal Knowledge Acquisition and Modeling -- Using Machine Learning to Support Continuous Ontology Development -- Handling Markup Overlaps Using OWL -- Ontology Learning for Cost-Effective Large-Scale Semantic Annotation of Web Service Interfaces -- Towards Hybrid Reasoning for Verifying and Validating Multilevel Models -- Representing, Proving and Sharing Trustworthiness of Web Resources Using Veracity -- Enhancing Content-Based Recommendation with the Task Model of Classification -- Extending Open Rating Systems for Ontology Ranking and Reuse -- HyperTwitter: Collaborative Knowledge Engineering via Twitter Messages -- TagSorting: A Tagging Environment for Collaboratively Building Ontologies -- QuiKey – An Efficient Semantic Command Line -- Kali-ma: A Semantic Guide to Browsing and Accessing Functionalities in Plugin-Based Tools -- Constructing Understandable Explanations for Semantic Search Results -- Ontology Engineering with Rough Concepts and Instances -- Building Large Lexicalized Ontologies from Text: A Use Case in Automatic Indexing of Biotechnology Patents -- ReBEC: A Method for Capturing Experience during Software Development Projects -- Reasoning by Analogy in the Generation of Domain Acceptable Ontology Refinements -- Evaluations of User-Driven Ontology Summarization -- A Visualization Service for the Semantic Web -- How Much Semantic Data on Small Devices? -- A Semantic Approach for Learning Objects Repositories with Knowledge Reuse. |
| Record Nr. | UNINA-9910483268603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
