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.
Logic Programming and Nonmonotonic Reasoning [[electronic resource] ] : 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings / / edited by Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski
| Logic Programming and Nonmonotonic Reasoning [[electronic resource] ] : 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings / / edited by Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XIV, 574 p. 76 illus.) |
| Disciplina | 005.115 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer science—Mathematics Computer logic Mathematical logic Software engineering Computer programming Artificial Intelligence Discrete Mathematics in Computer Science Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering Programming Techniques |
| ISBN | 3-319-23264-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk: Stable Models for Temporal Theories -- Invited Talk: Algorithmic Decision Theory meets Logic -- Invited Talk: Relational and Semantic Data Mining -- Shift-design with Answer Set Programming -- Advances in WASP -- Improving Coordinated SMT-based System Synthesis by Utilizing Domain-specific Heuristics -- Integrating ASP into ROS for Reasoning in Robots -- Automated inference of rules with exception from past legal cases using ASP -- Online Action Language oBC+.-aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming -- _Add Another Blue Stack of the Same Height!_: Plan Failure Analysis and Interactive Planning Through Natural Language Communication -- A Theory of Intentions for Intelligent Agents (Extended Abstract) -- Answer Set Programming modulo Acyclicity -- A Framework for Goal-Directed Query Evaluation with Negation -- Implementing preferences with aspirin -- Diagnosing Automatic Whitelisting for Dynamic Remarketing Ads Using Hybrid ASP -- Performance Tuning in Answer Set Programming -- Enablers and Inhibitors in Causal Justifications of Logic Programs -- Efficient Problem Solving on Tree Decompositions using Binary Decision Diagrams -- Knowledge Acquisition via Non-Monotonic Reasoning in Distributed Heterogeneous Environments -- Digital Forensics Evidence Analysis: An Answer Set Programming -- Approach for Generating Investigation Hypotheses -- A Formal Theory of Justifications -- A New Computational Logic Approach to Reason with Conditionals -- Interactive debugging of non-ground ASP programs -- Linking Open-world Knowledge Bases using Nonmonotonic Rules -- ASP, Amalgamation, and the Conceptual Blending Workflow -- Diagnostic Reasoning for Robotics using Action Languages -- OOASP: Connecting Object-oriented and Logic Programming -- Reasoning with Forest Logic Programs Using Fully Enriched Automata -- ASP Solving for Expanding Universes -- Progress in clasp series 3 -- Combining Heuristics for Configuration Problems Using Answer Set Programming -- Infinitary Equilibrium Logic and Strong Equivalence -- On the Relationship between Two Modular Action Languages: A Translation from MAD into ALM -- Compacting Boolean Formulae for Inference in Probabilistic Logic Programming -- Multi-Level Algorithm Selection for ASP -- Clause-Learning For Modular Systems -- Solving disjunctive fuzzy answer set programs -- Characterizing and Explaining Inconsistency in Logic Programs -- An Implementation of Consistency-Based Multi-Agent Belief Change using ASP -- ASPMT(QS): Non-monotonic spatial reasoning with Answer Set Programming Modulo Theories -- Mobile Robot Planning using Action Language BC with an Abstraction Hierarchy -- Logic Programming with Graded Modality.-The Design of the Sixth Answer Set Programming Competition -- Doctoral Consortium Extended Abstract: Planning With Concurrent Transaction Logic -- Doctoral Consortium Extended Abstract: Multi-context Systems with Preferences -- Doctoral Consortium Extended Abstract: Default Mappings in Ontology-Based Data Access -- Doctoral Consortium Extended Abstract: Nonmonotonic Qualitative Spatial Reasoning. |
| Record Nr. | UNISA-996466464403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic Programming and Nonmonotonic Reasoning : 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings / / edited by Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski
| Logic Programming and Nonmonotonic Reasoning : 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings / / edited by Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XIV, 574 p. 76 illus.) |
| Disciplina | 005.115 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer science—Mathematics Computer logic Mathematical logic Software engineering Computer programming Artificial Intelligence Discrete Mathematics in Computer Science Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering Programming Techniques |
| ISBN | 3-319-23264-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk: Stable Models for Temporal Theories -- Invited Talk: Algorithmic Decision Theory meets Logic -- Invited Talk: Relational and Semantic Data Mining -- Shift-design with Answer Set Programming -- Advances in WASP -- Improving Coordinated SMT-based System Synthesis by Utilizing Domain-specific Heuristics -- Integrating ASP into ROS for Reasoning in Robots -- Automated inference of rules with exception from past legal cases using ASP -- Online Action Language oBC+.-aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming -- _Add Another Blue Stack of the Same Height!_: Plan Failure Analysis and Interactive Planning Through Natural Language Communication -- A Theory of Intentions for Intelligent Agents (Extended Abstract) -- Answer Set Programming modulo Acyclicity -- A Framework for Goal-Directed Query Evaluation with Negation -- Implementing preferences with aspirin -- Diagnosing Automatic Whitelisting for Dynamic Remarketing Ads Using Hybrid ASP -- Performance Tuning in Answer Set Programming -- Enablers and Inhibitors in Causal Justifications of Logic Programs -- Efficient Problem Solving on Tree Decompositions using Binary Decision Diagrams -- Knowledge Acquisition via Non-Monotonic Reasoning in Distributed Heterogeneous Environments -- Digital Forensics Evidence Analysis: An Answer Set Programming -- Approach for Generating Investigation Hypotheses -- A Formal Theory of Justifications -- A New Computational Logic Approach to Reason with Conditionals -- Interactive debugging of non-ground ASP programs -- Linking Open-world Knowledge Bases using Nonmonotonic Rules -- ASP, Amalgamation, and the Conceptual Blending Workflow -- Diagnostic Reasoning for Robotics using Action Languages -- OOASP: Connecting Object-oriented and Logic Programming -- Reasoning with Forest Logic Programs Using Fully Enriched Automata -- ASP Solving for Expanding Universes -- Progress in clasp series 3 -- Combining Heuristics for Configuration Problems Using Answer Set Programming -- Infinitary Equilibrium Logic and Strong Equivalence -- On the Relationship between Two Modular Action Languages: A Translation from MAD into ALM -- Compacting Boolean Formulae for Inference in Probabilistic Logic Programming -- Multi-Level Algorithm Selection for ASP -- Clause-Learning For Modular Systems -- Solving disjunctive fuzzy answer set programs -- Characterizing and Explaining Inconsistency in Logic Programs -- An Implementation of Consistency-Based Multi-Agent Belief Change using ASP -- ASPMT(QS): Non-monotonic spatial reasoning with Answer Set Programming Modulo Theories -- Mobile Robot Planning using Action Language BC with an Abstraction Hierarchy -- Logic Programming with Graded Modality.-The Design of the Sixth Answer Set Programming Competition -- Doctoral Consortium Extended Abstract: Planning With Concurrent Transaction Logic -- Doctoral Consortium Extended Abstract: Multi-context Systems with Preferences -- Doctoral Consortium Extended Abstract: Default Mappings in Ontology-Based Data Access -- Doctoral Consortium Extended Abstract: Nonmonotonic Qualitative Spatial Reasoning. |
| Record Nr. | UNINA-9910484601303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logics in Artificial Intelligence [[electronic resource] ] : European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings / / edited by Sergio Flesca, Giovambattista Ianni
| Logics in Artificial Intelligence [[electronic resource] ] : European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings / / edited by Sergio Flesca, Giovambattista Ianni |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (XIII, 567 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Computer programming Artificial Intelligence Mathematical Logic and Formal Languages Programming Techniques |
| ISBN | 3-540-45757-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Multi-agent Systems -- A Logic Programming Language for Multi-agent Systems -- A Proof-System for the Safe Execution of Tasks in Multi-agent Systems -- An Argumentation Framework for Merging Conflicting Knowledge Bases -- Multi-agent Logics of Dynamic Belief and Knowledge -- Evolution and Changes -- Evolving Logic Programs -- A Compilation of Updates plus Preferences -- Description Logic and Semantic Web -- Towards Service Description Logics -- P- (D): A Probabilistic Extension of (D) for Probabilistic Ontologies in the Semantic Web -- A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries -- Complexity Issues -- Polynomial-Length Planning Spans the Polynomial Hierarchy -- Complexity of Multi-agent Systems Behavior -- Complexity and Algorithms for the Matching of Bag and Set Terms -- Probabilistic Logic -- Non-commutativity and Expressive Deductive Logic Databases -- Using Institutions for the Study of Qualitative and Quantitative Conditional Logics -- Planning -- Theoretical and Empirical Aspects of a Planner in a Multi-agent Environment -- Answer Set Planning under Action Costs -- Modal Logic and Causal Reasoning -- On Fibring Semantics for BDI Logics -- A Modal Formulation of McCain and Turner’s Theory of Causal Reasoning -- Second-Order Quantifier Elimination in Modal Contexts -- Theory -- Interpolation Theorems for Nonmonotonic Reasoning Systems -- Minimal Answer Computation and SOL -- Decidability of Interval Temporal Logics over Split-Frames via Granularity -- Reasoning under Uncertainty -- Uncertainty and Partial Non-uniform Assumptions in Parametric Deductive Databases -- A Qualitative Reasoning with Nuanced Information -- Satisfiability -- Dependent and Independent Variables in Propositional Satisfiability -- A DPLL-Based Calculus for Ground Satisfiability Modulo Theories -- Paraconsistent Reasoning -- Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems -- Three-Valued Logics for Inconsistency Handling -- Paraconsistent Logic Programs -- Actions and Causation -- Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem -- Reasoning about Actions in Prioritized Default Theory -- Towards a Conditional Logic of Actions and Causation -- Logics for Agents -- Axiomatising Nash-Consistent Coalition Logic -- Representing Possibilities in Relation to Constraints and Agents -- An Abductive Logic Programming Architecture for Negotiating Agents -- Semantics -- Preferred Answer Sets for Ordered Logic Programs -- Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs -- An Infinite-Valued Semantics for Logic Programs with Negation -- Optimization Issues in Answer Set Semantics -- More on noMoRe -- Answer Set Programming by Ant Colony Optimization -- Testing the Equivalence of Logic Programs under Stable Model Semantics -- System Session -- Argumentative Reasoning with ABEL -- COBA: A Consistency-Based Belief Revision System -- Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems -- : Integrating Data Mining with Intelligent Query Answering -- NoMoRe: Non-monotonic Reasoning with Logic Programs -- Process Miner — A Tool for Mining Process Schemes from Event-Based Data -- SMILES: A Multi-purpose Learning System -- The aspps System -- The DLV System -- The DLVK Planning System: Progress Report -- Z-log: Applying System-Z -- Invited Talks -- Hypergraph Transversal Computation and Related Problems in Logic and AI -- Alternation -- The USA-Advisor: A Case Study in Answer Set Programming. |
| Record Nr. | UNISA-996466351403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logics in Artificial Intelligence : European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings / / edited by Sergio Flesca, Giovambattista Ianni
| Logics in Artificial Intelligence : European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings / / edited by Sergio Flesca, Giovambattista Ianni |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (XIII, 567 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Computer programming Artificial Intelligence Mathematical Logic and Formal Languages Programming Techniques |
| ISBN | 3-540-45757-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Multi-agent Systems -- A Logic Programming Language for Multi-agent Systems -- A Proof-System for the Safe Execution of Tasks in Multi-agent Systems -- An Argumentation Framework for Merging Conflicting Knowledge Bases -- Multi-agent Logics of Dynamic Belief and Knowledge -- Evolution and Changes -- Evolving Logic Programs -- A Compilation of Updates plus Preferences -- Description Logic and Semantic Web -- Towards Service Description Logics -- P- (D): A Probabilistic Extension of (D) for Probabilistic Ontologies in the Semantic Web -- A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries -- Complexity Issues -- Polynomial-Length Planning Spans the Polynomial Hierarchy -- Complexity of Multi-agent Systems Behavior -- Complexity and Algorithms for the Matching of Bag and Set Terms -- Probabilistic Logic -- Non-commutativity and Expressive Deductive Logic Databases -- Using Institutions for the Study of Qualitative and Quantitative Conditional Logics -- Planning -- Theoretical and Empirical Aspects of a Planner in a Multi-agent Environment -- Answer Set Planning under Action Costs -- Modal Logic and Causal Reasoning -- On Fibring Semantics for BDI Logics -- A Modal Formulation of McCain and Turner’s Theory of Causal Reasoning -- Second-Order Quantifier Elimination in Modal Contexts -- Theory -- Interpolation Theorems for Nonmonotonic Reasoning Systems -- Minimal Answer Computation and SOL -- Decidability of Interval Temporal Logics over Split-Frames via Granularity -- Reasoning under Uncertainty -- Uncertainty and Partial Non-uniform Assumptions in Parametric Deductive Databases -- A Qualitative Reasoning with Nuanced Information -- Satisfiability -- Dependent and Independent Variables in Propositional Satisfiability -- A DPLL-Based Calculus for Ground Satisfiability Modulo Theories -- Paraconsistent Reasoning -- Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems -- Three-Valued Logics for Inconsistency Handling -- Paraconsistent Logic Programs -- Actions and Causation -- Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem -- Reasoning about Actions in Prioritized Default Theory -- Towards a Conditional Logic of Actions and Causation -- Logics for Agents -- Axiomatising Nash-Consistent Coalition Logic -- Representing Possibilities in Relation to Constraints and Agents -- An Abductive Logic Programming Architecture for Negotiating Agents -- Semantics -- Preferred Answer Sets for Ordered Logic Programs -- Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs -- An Infinite-Valued Semantics for Logic Programs with Negation -- Optimization Issues in Answer Set Semantics -- More on noMoRe -- Answer Set Programming by Ant Colony Optimization -- Testing the Equivalence of Logic Programs under Stable Model Semantics -- System Session -- Argumentative Reasoning with ABEL -- COBA: A Consistency-Based Belief Revision System -- Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems -- : Integrating Data Mining with Intelligent Query Answering -- NoMoRe: Non-monotonic Reasoning with Logic Programs -- Process Miner — A Tool for Mining Process Schemes from Event-Based Data -- SMILES: A Multi-purpose Learning System -- The aspps System -- The DLV System -- The DLVK Planning System: Progress Report -- Z-log: Applying System-Z -- Invited Talks -- Hypergraph Transversal Computation and Related Problems in Logic and AI -- Alternation -- The USA-Advisor: A Case Study in Answer Set Programming. |
| Record Nr. | UNINA-9910768450303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Reasoning Web. Semantic Interoperability on the Web [[electronic resource] ] : 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures / / edited by Giovambattista Ianni, Domenico Lembo, Leopoldo Bertossi, Wolfgang Faber, Birte Glimm, Georg Gottlob, Steffen Staab
| Reasoning Web. Semantic Interoperability on the Web [[electronic resource] ] : 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures / / edited by Giovambattista Ianni, Domenico Lembo, Leopoldo Bertossi, Wolfgang Faber, Birte Glimm, Georg Gottlob, Steffen Staab |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XI, 347 p. 63 illus.) |
| Disciplina | 025.04 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Database management
Artificial intelligence Mathematical logic Information storage and retrieval Database Management Artificial Intelligence Mathematical Logic and Formal Languages Information Storage and Retrieval |
| ISBN | 3-319-61033-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Data Integration for Open Data on the Web -- Ontological Query Answering over Semantic Data -- Ontology Querying: Datalog Strikes Back -- Integrating Relational Databases with the Semantic Web: A Reflection -- Datalog Revisited for Reasoning in Linked Data -- A Tutorial on Hybrid Answer Set Solving with Clingo -- Answer Set Programming with External Source Access -- Uncertainty Reasoning for the Semantic Web -- OBDA for Log Extraction in Process Mining. . |
| Record Nr. | UNISA-996466459503316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Reasoning Web. Semantic Interoperability on the Web : 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures / / edited by Giovambattista Ianni, Domenico Lembo, Leopoldo Bertossi, Wolfgang Faber, Birte Glimm, Georg Gottlob, Steffen Staab
| Reasoning Web. Semantic Interoperability on the Web : 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures / / edited by Giovambattista Ianni, Domenico Lembo, Leopoldo Bertossi, Wolfgang Faber, Birte Glimm, Georg Gottlob, Steffen Staab |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XI, 347 p. 63 illus.) |
| Disciplina | 025.04 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Database management
Artificial intelligence Machine theory Information storage and retrieval systems Database Management Artificial Intelligence Formal Languages and Automata Theory Information Storage and Retrieval |
| ISBN | 3-319-61033-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Data Integration for Open Data on the Web -- Ontological Query Answering over Semantic Data -- Ontology Querying: Datalog Strikes Back -- Integrating Relational Databases with the Semantic Web: A Reflection -- Datalog Revisited for Reasoning in Linked Data -- A Tutorial on Hybrid Answer Set Solving with Clingo -- Answer Set Programming with External Source Access -- Uncertainty Reasoning for the Semantic Web -- OBDA for Log Extraction in Process Mining. . |
| Record Nr. | UNINA-9910483752703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||