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.
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation [[electronic resource] ] : Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday / / edited by Thomas Eiter, Hannes Strass, Mirosław Truszczyński, Stefan Woltran
| Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation [[electronic resource] ] : Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday / / edited by Thomas Eiter, Hannes Strass, Mirosław Truszczyński, Stefan Woltran |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XIV, 361 p. 58 illus.) : online resource |
| Disciplina | 001.642 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Machine theory Computer science Algorithms Computer programming Artificial Intelligence Formal Languages and Automata Theory Theory of Computation Computer Science Logic and Foundations of Programming Programming Techniques |
| ISBN | 3-319-14726-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Prologue -- Actions and Agents -- Nonmonotonic and Human Reasoning.- Preferences -- Abstract Argumentation -- Reflections on Knowledge Representation.- Epilogue. |
| Record Nr. | UNISA-996198834503316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation : Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday / / edited by Thomas Eiter, Hannes Strass, Mirosław Truszczyński, Stefan Woltran
| Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation : Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday / / edited by Thomas Eiter, Hannes Strass, Mirosław Truszczyński, Stefan Woltran |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XIV, 361 p. 58 illus.) : online resource |
| Disciplina | 001.642 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Machine theory Computer science Algorithms Computer programming Artificial Intelligence Formal Languages and Automata Theory Theory of Computation Computer Science Logic and Foundations of Programming Programming Techniques |
| ISBN | 3-319-14726-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Prologue -- Actions and Agents -- Nonmonotonic and Human Reasoning.- Preferences -- Abstract Argumentation -- Reflections on Knowledge Representation.- Epilogue. |
| Record Nr. | UNINA-9910484028203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational Logic in Multi-Agent Systems [[electronic resource] ] : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings / / edited by João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran
| Computational Logic in Multi-Agent Systems [[electronic resource] ] : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings / / edited by João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XXIV, 391 p. 75 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Software engineering Programming languages (Electronic computers) Computer logic Application software Artificial Intelligence Mathematical Logic and Formal Languages Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Information Systems Applications (incl. Internet) |
| ISBN | 3-642-40624-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | From Discourse Analysis to Argumentation Schemes and Back: Relations and Differences -- Analyzing the Equivalence Zoo in Abstract Argumentation -- On the Instantiation of Knowledge Bases in Abstract Argumentation Frameworks -- Rewriting Rules for the Computation of Goal-Oriented Changes in an Argumentation System -- A Sequent-Based Representation of Logical Argumentation -- Instantiating Knowledge Bases in Abstract Dialectical Frameworks -- Admissibility in the Abstract Dialectical Framework -- Computing the Grounded Semantics in All the Subgraphs of an Argumentation Framework: An Empirical Evaluation -- Advanced SAT Techniques for Abstract Argumentation -- Web Based System for Weighted Defeasible Argumentation -- Coalitional Responsibility in Strategic Settings -- Symmetries and Epistemic Reasoning -- Accumulative Knowledge under Bounded Resources -- Time Is Up! – Norms with Deadlines in Action Languages -- External Transaction Logic with Automatic Compensations -- Perceiving Rules under Incomplete and Inconsistent Information -- Using Agent JPF to Build Models for Other Model Checkers -- Reasoning about the Beliefs of Agents in Multi-agent Domains in the Presence of State Constraints: The Action Language mAL -- A Temporal Argumentation Approach to Cooperative Planning Using Dialogues -- Reconfiguration of Large-Scale Surveillance Systems -- An Argumentation-Based Approach for Automatic Evaluation of Design Debates -- Risk Assessment as an Argumentation Game -- Assumption-Based Argumentation for Decision-Making with Preferences: A Medical Case Study. |
| Record Nr. | UNISA-996466057703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational Logic in Multi-Agent Systems : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings / / edited by João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran
| Computational Logic in Multi-Agent Systems : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings / / edited by João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XXIV, 391 p. 75 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Software engineering Programming languages (Electronic computers) Computer logic Application software Artificial Intelligence Mathematical Logic and Formal Languages Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Information Systems Applications (incl. Internet) |
| ISBN | 3-642-40624-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | From Discourse Analysis to Argumentation Schemes and Back: Relations and Differences -- Analyzing the Equivalence Zoo in Abstract Argumentation -- On the Instantiation of Knowledge Bases in Abstract Argumentation Frameworks -- Rewriting Rules for the Computation of Goal-Oriented Changes in an Argumentation System -- A Sequent-Based Representation of Logical Argumentation -- Instantiating Knowledge Bases in Abstract Dialectical Frameworks -- Admissibility in the Abstract Dialectical Framework -- Computing the Grounded Semantics in All the Subgraphs of an Argumentation Framework: An Empirical Evaluation -- Advanced SAT Techniques for Abstract Argumentation -- Web Based System for Weighted Defeasible Argumentation -- Coalitional Responsibility in Strategic Settings -- Symmetries and Epistemic Reasoning -- Accumulative Knowledge under Bounded Resources -- Time Is Up! – Norms with Deadlines in Action Languages -- External Transaction Logic with Automatic Compensations -- Perceiving Rules under Incomplete and Inconsistent Information -- Using Agent JPF to Build Models for Other Model Checkers -- Reasoning about the Beliefs of Agents in Multi-agent Domains in the Presence of State Constraints: The Action Language mAL -- A Temporal Argumentation Approach to Cooperative Planning Using Dialogues -- Reconfiguration of Large-Scale Surveillance Systems -- An Argumentation-Based Approach for Automatic Evaluation of Design Debates -- Risk Assessment as an Argumentation Game -- Assumption-Based Argumentation for Decision-Making with Preferences: A Medical Case Study. |
| Record Nr. | UNINA-9910485150103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Foundations of Information and Knowledge Systems [[electronic resource] ] : 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14–18, 2018, Proceedings / / edited by Flavio Ferrarotti, Stefan Woltran
| Foundations of Information and Knowledge Systems [[electronic resource] ] : 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14–18, 2018, Proceedings / / edited by Flavio Ferrarotti, Stefan Woltran |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XXII, 401 p. 69 illus.) |
| Disciplina | 004 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Mathematical logic
Database management Artificial intelligence Application software Mathematical Logic and Formal Languages Database Management Artificial Intelligence Computer Appl. in Administrative Data Processing |
| ISBN | 3-319-90050-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Big data -- Database design -- Dynamics of information -- Information fusion -- Integrity and constraint management -- Intelligent agents -- Knowledge Discovery and Information Retrieval -- Knowledge representation, reasoning and planning -- Logics in databases and AI -- Mathematical foundations -- Security in information and knowledge systems -- Semi-structured data and XML -- Social computing -- The Semantic web and knowledge management -- The world wide web. |
| Record Nr. | UNISA-996465792603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Foundations of Information and Knowledge Systems : 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14–18, 2018, Proceedings / / edited by Flavio Ferrarotti, Stefan Woltran
| Foundations of Information and Knowledge Systems : 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14–18, 2018, Proceedings / / edited by Flavio Ferrarotti, Stefan Woltran |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XXII, 401 p. 69 illus.) |
| Disciplina | 004 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Mathematical logic
Database management Artificial intelligence Application software Mathematical Logic and Formal Languages Database Management Artificial Intelligence Computer Appl. in Administrative Data Processing |
| ISBN | 3-319-90050-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Big data -- Database design -- Dynamics of information -- Information fusion -- Integrity and constraint management -- Intelligent agents -- Knowledge Discovery and Information Retrieval -- Knowledge representation, reasoning and planning -- Logics in databases and AI -- Mathematical foundations -- Security in information and knowledge systems -- Semi-structured data and XML -- Social computing -- The Semantic web and knowledge management -- The world wide web. |
| Record Nr. | UNINA-9910349430303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Graph Structures for Knowledge Representation and Reasoning [[electronic resource] ] : Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers / / edited by Madalina Croitoru, Sebastian Rudolph, Stefan Woltran, Christophe Gonzales
| Graph Structures for Knowledge Representation and Reasoning [[electronic resource] ] : Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers / / edited by Madalina Croitoru, Sebastian Rudolph, Stefan Woltran, Christophe Gonzales |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (X, 211 p. 64 illus.) |
| Disciplina | 006.332 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Computer science—Mathematics Artificial Intelligence Mathematical Logic and Formal Languages Discrete Mathematics in Computer Science |
| Soggetto genere / forma |
Kongress2013.Peking
Conference proceedings. Online-Publikation |
| ISBN | 3-319-04534-2 |
| Classificazione | SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Representations of constraint satisfaction problems -- Formal concept analysis -- Conceptual graphs -- Argumentation frameworks. |
| Record Nr. | UNISA-996205183803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Graph Structures for Knowledge Representation and Reasoning : Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers / / edited by Madalina Croitoru, Sebastian Rudolph, Stefan Woltran, Christophe Gonzales
| Graph Structures for Knowledge Representation and Reasoning : Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers / / edited by Madalina Croitoru, Sebastian Rudolph, Stefan Woltran, Christophe Gonzales |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (X, 211 p. 64 illus.) |
| Disciplina | 006.332 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Computer science—Mathematics Artificial Intelligence Mathematical Logic and Formal Languages Discrete Mathematics in Computer Science |
| Soggetto genere / forma |
Kongress2013.Peking
Conference proceedings. Online-Publikation |
| ISBN | 3-319-04534-2 |
| Classificazione | SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Representations of constraint satisfaction problems -- Formal concept analysis -- Conceptual graphs -- Argumentation frameworks. |
| Record Nr. | UNINA-9910484015803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic Programming and Nonmonotonic Reasoning [[electronic resource] ] : 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings / / edited by Marcello Balduccini, Yuliya Lierler, Stefan Woltran
| Logic Programming and Nonmonotonic Reasoning [[electronic resource] ] : 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings / / edited by Marcello Balduccini, Yuliya Lierler, Stefan Woltran |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XXI, 348 p. 787 illus., 21 illus. in color.) |
| Disciplina | 005.115 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer logic Software engineering Application software Database management Artificial Intelligence Logics and Meanings of Programs Software Engineering/Programming and Operating Systems Computer Appl. in Administrative Data Processing Database Management |
| ISBN | 3-030-20528-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Applications -- Train scheduling with hybrid ASP -- Telco Network Inventory Validation with NoHR -- An ASP-based Framework for the Manipulation of Articulated Objects using Dual-arm Robots -- C-ASP: Continuous ASP-based Reasoning over RDF Streams -- Internet Routing and Non-Monotonic Reasoning -- Argumentation -- Assessing arguments with schemes and fallacies -- Simple Contrapositive Assumption-Based Frameworks -- Argumentation-based Explanations for Answer Sets using ADF -- Foundations and Complexity -- Treewidth and Counting Projected Answer Sets -- Splitting Epistemic Logic Programs -- Founded World Views with Autoepistemic Equilibrium Logic -- Towards Dynamic Answer Set Programming over finite traces -- A Sequent-Type Calculus for Three-Valued Default Logic, or: Tweety Meets Quartum Non Datur -- Knowledge Representation and Reasoning -- Diagnosing Data Pipeline Failures Using Action Languages -- Repair-Based Degrees of Database Inconsistency -- Elect: An Inconsistency Handling Approach for Partially Preordered Lightweight Ontologies -- Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Action Language pBC+ -- Systems -- Evaluation of disjunctive programs in WASP -- telinge = ASP + Time -- Verifying Strong Equivalence of Programs in the Input Language of GRINGO -- The return of XORRO -- Degrees of Laziness in Grounding: Effects of Lazy-Grounding Strategies on ASP Solving -- Enhancing DLV for Large-Scale Reasoning -- Pruning External Minimality Checking for ASP Using Semantic Dependencies -- Declarative local search for predicate logic. |
| Record Nr. | UNISA-996466330003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic Programming and Nonmonotonic Reasoning : 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings / / edited by Marcello Balduccini, Yuliya Lierler, Stefan Woltran
| Logic Programming and Nonmonotonic Reasoning : 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings / / edited by Marcello Balduccini, Yuliya Lierler, Stefan Woltran |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XXI, 348 p. 787 illus., 21 illus. in color.) |
| Disciplina | 005.115 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer logic Software engineering Application software Database management Artificial Intelligence Logics and Meanings of Programs Software Engineering/Programming and Operating Systems Computer Appl. in Administrative Data Processing Database Management |
| ISBN | 3-030-20528-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Applications -- Train scheduling with hybrid ASP -- Telco Network Inventory Validation with NoHR -- An ASP-based Framework for the Manipulation of Articulated Objects using Dual-arm Robots -- C-ASP: Continuous ASP-based Reasoning over RDF Streams -- Internet Routing and Non-Monotonic Reasoning -- Argumentation -- Assessing arguments with schemes and fallacies -- Simple Contrapositive Assumption-Based Frameworks -- Argumentation-based Explanations for Answer Sets using ADF -- Foundations and Complexity -- Treewidth and Counting Projected Answer Sets -- Splitting Epistemic Logic Programs -- Founded World Views with Autoepistemic Equilibrium Logic -- Towards Dynamic Answer Set Programming over finite traces -- A Sequent-Type Calculus for Three-Valued Default Logic, or: Tweety Meets Quartum Non Datur -- Knowledge Representation and Reasoning -- Diagnosing Data Pipeline Failures Using Action Languages -- Repair-Based Degrees of Database Inconsistency -- Elect: An Inconsistency Handling Approach for Partially Preordered Lightweight Ontologies -- Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Action Language pBC+ -- Systems -- Evaluation of disjunctive programs in WASP -- telinge = ASP + Time -- Verifying Strong Equivalence of Programs in the Input Language of GRINGO -- The return of XORRO -- Degrees of Laziness in Grounding: Effects of Lazy-Grounding Strategies on ASP Solving -- Enhancing DLV for Large-Scale Reasoning -- Pruning External Minimality Checking for ASP Using Semantic Dependencies -- Declarative local search for predicate logic. |
| Record Nr. | UNINA-9910337848403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||