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] ] : 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers / / edited by Michael Fisher, Fariba Sadri, Michael Thielscher
| Computational Logic in Multi-Agent Systems [[electronic resource] ] : 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers / / edited by Michael Fisher, Fariba Sadri, Michael Thielscher |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (IX, 173 p.) |
| Disciplina | 004n/a |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Mathematical logic
Computer logic Computers Data structures (Computer science) Computer science—Mathematics Mathematical Logic and Formal Languages Logics and Meanings of Programs Theory of Computation Data Structures and Information Theory Mathematics of Computing Models and Principles |
| Soggetto genere / forma |
Dresden (2008)
Kongress. |
| ISBN | 3-642-02734-2 |
| Classificazione |
DAT 540f
DAT 709f SS 4800 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Easy Yet Hard: Model Checking Strategies of Agents -- Programming Multi-agent Systems -- Regular Papers -- Verifying Agents’ Conformance with Multiparty Protocols -- Run-Time Semantics of a Language for Programming Social Processes -- Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic -- Bounded-Resource Reasoning as (Strong or Classical) Planning -- A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems -- Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall -- Contracts Violation: Justification via Argumentation -- Argument-Based Decision Making and Negotiation in E-Business: Contracting a Land Lease for a Computer Assembly Plant. |
| Record Nr. | UNISA-996465732403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational Logic in Multi-Agent Systems [[electronic resource] ] : 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers / / edited by Michael Fisher, Fariba Sadri, Michael Thielscher
| Computational Logic in Multi-Agent Systems [[electronic resource] ] : 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers / / edited by Michael Fisher, Fariba Sadri, Michael Thielscher |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (IX, 173 p.) |
| Disciplina | 004n/a |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Mathematical logic
Computer logic Computers Data structures (Computer science) Computer science—Mathematics Mathematical Logic and Formal Languages Logics and Meanings of Programs Theory of Computation Data Structures and Information Theory Mathematics of Computing Models and Principles |
| Soggetto genere / forma |
Dresden (2008)
Kongress. |
| ISBN | 3-642-02734-2 |
| Classificazione |
DAT 540f
DAT 709f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Easy Yet Hard: Model Checking Strategies of Agents -- Programming Multi-agent Systems -- Regular Papers -- Verifying Agents’ Conformance with Multiparty Protocols -- Run-Time Semantics of a Language for Programming Social Processes -- Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic -- Bounded-Resource Reasoning as (Strong or Classical) Planning -- A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems -- Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall -- Contracts Violation: Justification via Argumentation -- Argument-Based Decision Making and Negotiation in E-Business: Contracting a Land Lease for a Computer Assembly Plant. |
| Record Nr. | UNINA-9910483811903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational Logic: Logic Programming and Beyond [[electronic resource] ] : Essays in Honour of Robert A. Kowalski, Part II / / edited by Antonis C. Kakas, Fariba Sadri
| Computational Logic: Logic Programming and Beyond [[electronic resource] ] : Essays in Honour of Robert A. Kowalski, Part II / / edited by Antonis C. Kakas, Fariba Sadri |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (XII, 628 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Software engineering Computer programming Mathematical logic Computer science—Mathematics Artificial Intelligence Software Engineering/Programming and Operating Systems Programming Techniques Mathematical Logic and Formal Languages Symbolic and Algebraic Manipulation |
| ISBN | 3-540-45632-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Logic in Databases and Information Integration -- MuTACLP: A Language for Temporal Reasoning with Multiple Theories -- Description Logics for Information Integration -- Search and Optimization Problems in Datalog -- The Declarative Side of Magic -- Key Constraints and Monotonic Aggregates in Deductive Databases -- Automated Reasoning -- A Decidable CLDS for Some Propositional Resource Logics -- A Critique of Proof Planning -- A Model Generation Based Theorem Prover MGTP for First-Order Logic -- A ‘Theory’ Mechanism for a Proof-Verifier Based on First-Order Set Theory -- An Open Research Problem: Strong Completeness of R. Kowalski’s Connection Graph Proof Procedure -- Non-deductive Reasoning -- Meta-reasoning: A Survey -- Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning -- Automated Abduction -- The Role of Logic in Computational Models of Legal Argument: A Critical Survey -- Logic for Action and Change -- Logic Programming Updating - A Guided Approach -- Representing Knowledge in A-Prolog -- Some Alternative Formulations of the Event Calculus -- Logic, Language, and Learning -- Issues in Learning Language in Logic -- On Implicit Meanings -- Data Mining as Constraint Logic Programming -- DCGs: Parsing as Deduction? -- Statistical Abduction with Tabulation -- Computational Logic and Philosophy -- Logicism and the Development of Computer Science -- Simply the Best: A Case for Abduction. |
| Record Nr. | UNINA-9910143880103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational Logic: Logic Programming and Beyond [[electronic resource] ] : Essays in Honour of Robert A. Kowalski, Part II / / edited by Antonis C. Kakas, Fariba Sadri
| Computational Logic: Logic Programming and Beyond [[electronic resource] ] : Essays in Honour of Robert A. Kowalski, Part II / / edited by Antonis C. Kakas, Fariba Sadri |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (XII, 628 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Software engineering Computer programming Mathematical logic Computer science—Mathematics Artificial Intelligence Software Engineering/Programming and Operating Systems Programming Techniques Mathematical Logic and Formal Languages Symbolic and Algebraic Manipulation |
| ISBN | 3-540-45632-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Logic in Databases and Information Integration -- MuTACLP: A Language for Temporal Reasoning with Multiple Theories -- Description Logics for Information Integration -- Search and Optimization Problems in Datalog -- The Declarative Side of Magic -- Key Constraints and Monotonic Aggregates in Deductive Databases -- Automated Reasoning -- A Decidable CLDS for Some Propositional Resource Logics -- A Critique of Proof Planning -- A Model Generation Based Theorem Prover MGTP for First-Order Logic -- A ‘Theory’ Mechanism for a Proof-Verifier Based on First-Order Set Theory -- An Open Research Problem: Strong Completeness of R. Kowalski’s Connection Graph Proof Procedure -- Non-deductive Reasoning -- Meta-reasoning: A Survey -- Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning -- Automated Abduction -- The Role of Logic in Computational Models of Legal Argument: A Critical Survey -- Logic for Action and Change -- Logic Programming Updating - A Guided Approach -- Representing Knowledge in A-Prolog -- Some Alternative Formulations of the Event Calculus -- Logic, Language, and Learning -- Issues in Learning Language in Logic -- On Implicit Meanings -- Data Mining as Constraint Logic Programming -- DCGs: Parsing as Deduction? -- Statistical Abduction with Tabulation -- Computational Logic and Philosophy -- Logicism and the Development of Computer Science -- Simply the Best: A Case for Abduction. |
| Record Nr. | UNISA-996466365003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Rule Technologies: Foundations, Tools, and Applications [[electronic resource] ] : 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings / / edited by Nick Bassiliades, Georg Gottlob, Fariba Sadri, Adrian Paschke, Dumitru Roman
| Rule Technologies: Foundations, Tools, and Applications [[electronic resource] ] : 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings / / edited by Nick Bassiliades, Georg Gottlob, Fariba Sadri, Adrian Paschke, Dumitru Roman |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XIX, 474 p. 77 illus.) |
| Disciplina | 005.11 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Artificial intelligence
Application software Computer logic Information storage and retrieval Artificial Intelligence Information Systems Applications (incl. Internet) Logics and Meanings of Programs Computer Applications Information Storage and Retrieval |
| ISBN | 3-319-21542-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | General RuleML track -- Complex event processing track -- Existential rules and datalog+/- track -- Legal rules and reasoning track -- Rule learning track -- Industry track. |
| Record Nr. | UNINA-9910484560803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Rule Technologies: Foundations, Tools, and Applications [[electronic resource] ] : 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings / / edited by Nick Bassiliades, Georg Gottlob, Fariba Sadri, Adrian Paschke, Dumitru Roman
| Rule Technologies: Foundations, Tools, and Applications [[electronic resource] ] : 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings / / edited by Nick Bassiliades, Georg Gottlob, Fariba Sadri, Adrian Paschke, Dumitru Roman |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XIX, 474 p. 77 illus.) |
| Disciplina | 005.11 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Artificial intelligence
Application software Computer logic Information storage and retrieval Artificial Intelligence Information Systems Applications (incl. Internet) Logics and Meanings of Programs Computer Applications Information Storage and Retrieval |
| ISBN | 3-319-21542-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | General RuleML track -- Complex event processing track -- Existential rules and datalog+/- track -- Legal rules and reasoning track -- Rule learning track -- Industry track. |
| Record Nr. | UNISA-996204727403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Rules and Reasoning [[electronic resource] ] : International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings / / edited by Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman
| Rules and Reasoning [[electronic resource] ] : International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings / / edited by Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XVIII, 239 p. 43 illus.) |
| Disciplina | 025.04 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer programming
Programming languages (Electronic computers) Mathematical logic Artificial intelligence Software engineering Application software Programming Techniques Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Artificial Intelligence Software Engineering Computer Applications |
| ISBN | 3-319-61252-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Opening the Black Box: Deriving Rules from Data -- The secret life of rules in Software Engineering -- Meta-Interpretive Learning: achievements and challenges -- Dischargeable Obligations in Abductive Logic Programming -- Using Rule-Based Reasoning for RDF Validation -- Three Methods for Revising Hybrid Knowledge Bases -- Can My Test Case Run on Your Test Plant? A Logic-Based Compliance Check and its Evaluation on Real Data -- Semantic DMN: Formalizing Decision Models with Domain Knowledge -- A set-theoretic approach to ABox reasoning services -- Verifying Controllability of Time-Aware Business Processes -- A Decidable Conuence Test for Cognitive Models in ACT-R -- On the Chase for All Provenance Paths With Existential Rules -- Rewriting Queries with Negated Atoms -- Fast ABox Consistency Checking using Incomplete Reasoning and Caching -- An Online Tool for Tuning Fuzzy Logic Programs -- Hybrid ASP-based Approach to Pattern Mining -- nconsistency-tolerant Instance Checking in Tractable Description Logics -- ArgQL: A Declarative Language for Querying Argumentative Dialogues. |
| Record Nr. | UNINA-9910483234003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Rules and Reasoning [[electronic resource] ] : International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings / / edited by Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman
| Rules and Reasoning [[electronic resource] ] : International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings / / edited by Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XVIII, 239 p. 43 illus.) |
| Disciplina | 025.04 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer programming
Programming languages (Electronic computers) Mathematical logic Artificial intelligence Software engineering Application software Programming Techniques Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Artificial Intelligence Software Engineering Computer Applications |
| ISBN | 3-319-61252-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Opening the Black Box: Deriving Rules from Data -- The secret life of rules in Software Engineering -- Meta-Interpretive Learning: achievements and challenges -- Dischargeable Obligations in Abductive Logic Programming -- Using Rule-Based Reasoning for RDF Validation -- Three Methods for Revising Hybrid Knowledge Bases -- Can My Test Case Run on Your Test Plant? A Logic-Based Compliance Check and its Evaluation on Real Data -- Semantic DMN: Formalizing Decision Models with Domain Knowledge -- A set-theoretic approach to ABox reasoning services -- Verifying Controllability of Time-Aware Business Processes -- A Decidable Conuence Test for Cognitive Models in ACT-R -- On the Chase for All Provenance Paths With Existential Rules -- Rewriting Queries with Negated Atoms -- Fast ABox Consistency Checking using Incomplete Reasoning and Caching -- An Online Tool for Tuning Fuzzy Logic Programs -- Hybrid ASP-based Approach to Pattern Mining -- nconsistency-tolerant Instance Checking in Tractable Description Logics -- ArgQL: A Declarative Language for Querying Argumentative Dialogues. |
| Record Nr. | UNISA-996466465103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||