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 : 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, proceedings / / Chitta Baral, Gerhard Brewka, John Schlipf, editors
| Logic programming and nonmonotonic reasoning : 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, proceedings / / Chitta Baral, Gerhard Brewka, John Schlipf, editors |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer-Verlag, , [2007] |
| Descrizione fisica | 1 online resource (335 p.) |
| Disciplina | 005.115 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Logic programming
Nonmonotonic reasoning |
| ISBN |
1-280-94072-7
1-280-30797-8 9786610940721 3-540-72200-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks/Competition -- Logic Programming and Nonmonotonic Reasoning: From Theory to Systems and Applications -- Policy-Based Computing: From Systems and Applications to Theory -- The First Answer Set Programming System Competition -- Technical Papers -- cr-models: An Inference Engine for CR-Prolog -- Debugging ASP Programs by Means of ASP -- A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation -- Complexity of Default Logic on Generalized Conjunctive Queries -- A Preference-Based Framework for Updating Logic Programs -- Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions -- On the Complexity of Answer Set Programming with Aggregates -- Experimenting with Look-Back Heuristics for Hard ASP Programs -- Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domains -- Conflict-Driven Answer Set Enumeration -- Head-Elementary-Set-Free Logic Programs -- A Deductive System for PC(ID) -- Modularity Aspects of Disjunctive Stable Models -- A Characterization of Strong Equivalence for Logic Programs with Variables -- A Unified Semantics for Constraint Handling Rules in Transaction Logic -- Conditional Planning with External Functions -- Logic Programs with Abstract Constraints: Representation, Disjunction and Complexities -- General Default Logic -- System Descriptions -- The System: Logic Programming Meets Outlier Detection -- clasp: A Conflict-Driven Answer Set Solver -- GrinGo: A New Grounder for Answer Set Programming -- Using Answer Sets to Solve Belief Change Problems -- An Smodels System with Limited Lookahead Computation -- Programming Applications in CIFF -- CPP: A Constraint Logic Programming Based Planner with Preferences -- Posters -- An Application of Defeasible Logic Programming to Decision Making in a Robotic Environment -- On the Effectiveness of Looking Ahead in Search for Answer Sets -- Enhancing ASP Systems for Planning with Temporal Constraints -- Semantics for Possibilistic Disjunctive Programs -- Modularity in smodels Programs. |
| Record Nr. | UNINA-9910483572003321 |
| Berlin ; ; Heidelberg : , : Springer-Verlag, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic programming and nonmonotonic reasoning : 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, proceedings / / Chitta Baral, Gerhard Brewka, John Schlipf, editors
| Logic programming and nonmonotonic reasoning : 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, proceedings / / Chitta Baral, Gerhard Brewka, John Schlipf, editors |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer-Verlag, , [2007] |
| Descrizione fisica | 1 online resource (335 p.) |
| Disciplina | 005.115 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Logic programming
Nonmonotonic reasoning |
| ISBN |
1-280-94072-7
1-280-30797-8 9786610940721 3-540-72200-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks/Competition -- Logic Programming and Nonmonotonic Reasoning: From Theory to Systems and Applications -- Policy-Based Computing: From Systems and Applications to Theory -- The First Answer Set Programming System Competition -- Technical Papers -- cr-models: An Inference Engine for CR-Prolog -- Debugging ASP Programs by Means of ASP -- A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation -- Complexity of Default Logic on Generalized Conjunctive Queries -- A Preference-Based Framework for Updating Logic Programs -- Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions -- On the Complexity of Answer Set Programming with Aggregates -- Experimenting with Look-Back Heuristics for Hard ASP Programs -- Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domains -- Conflict-Driven Answer Set Enumeration -- Head-Elementary-Set-Free Logic Programs -- A Deductive System for PC(ID) -- Modularity Aspects of Disjunctive Stable Models -- A Characterization of Strong Equivalence for Logic Programs with Variables -- A Unified Semantics for Constraint Handling Rules in Transaction Logic -- Conditional Planning with External Functions -- Logic Programs with Abstract Constraints: Representation, Disjunction and Complexities -- General Default Logic -- System Descriptions -- The System: Logic Programming Meets Outlier Detection -- clasp: A Conflict-Driven Answer Set Solver -- GrinGo: A New Grounder for Answer Set Programming -- Using Answer Sets to Solve Belief Change Problems -- An Smodels System with Limited Lookahead Computation -- Programming Applications in CIFF -- CPP: A Constraint Logic Programming Based Planner with Preferences -- Posters -- An Application of Defeasible Logic Programming to Decision Making in a Robotic Environment -- On the Effectiveness of Looking Ahead in Search for Answer Sets -- Enhancing ASP Systems for Planning with Temporal Constraints -- Semantics for Possibilistic Disjunctive Programs -- Modularity in smodels Programs. |
| Record Nr. | UNISA-996466242703316 |
| Berlin ; ; Heidelberg : , : Springer-Verlag, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic Programming and Nonmonotonic Reasoning [[electronic resource] ] : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings / / edited by Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina
| Logic Programming and Nonmonotonic Reasoning [[electronic resource] ] : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings / / edited by Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XIV, 462 p.) |
| Disciplina | 005.1/5 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer logic Software engineering Mathematical logic Computer programming Artificial Intelligence Logics and Meanings of Programs Software Engineering Mathematical Logic and Formal Languages Programming Techniques |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Nonmonotonic Reasoning in FLORA-2 -- Data Integration and Answer Set Programming -- Halo I: A Controlled Experiment for Large Scale Knowledge Base Development -- ASP Foundations -- Unfounded Sets for Disjunctive Logic Programs with Arbitrary Aggregates -- Loops: Relevant or Redundant? -- Approximating Answer Sets of Unitary Lifschitz-Woo Programs -- On Modular Translations and Strong Equivalence -- ASP Extensions -- Guarded Open Answer Set Programming -- External Sources of Computation for Answer Set Solvers -- Answer Sets for Propositional Theories -- Applications -- An ID-Logic Formalization of the Composition of Autonomous Databases -- On the Local Closed-World Assumption of Data-Sources -- Computing Dialectical Trees Efficiently in Possibilistic Defeasible Logic Programming -- Actions and Causations -- An Approximation of Action Theories of and Its Application to Conformant Planning -- Game-Theoretic Reasoning About Actions in Nonmonotonic Causal Theories -- Some Logical Properties of Nonmonotonic Causal Theories -- odular-?: An Elaboration Tolerant Approach to the Ramification and Qualification Problems -- Algorithms and Computation -- Platypus: A Platform for Distributed Answer Set Solving -- Solving Hard ASP Programs Efficiently -- Mode-Directed Fixed Point Computation -- Lookahead in Smodels Compared to Local Consistencies in CSP -- Foundations -- Nested Epistemic Logic Programs -- An Algebraic Account of Modularity in ID-Logic -- Default Reasoning with Preference Within Only Knowing Logic -- Semantics -- A Social Semantics for Multi-agent Systems -- Revisiting the Semantics of Interval Probabilistic Logic Programs -- Routley Semantics for Answer Sets -- The Well Supported Semantics for Multidimensional Dynamic Logic Programs -- Application Track -- Application of Smodels in Quartet Based Phylogeny Construction -- Using Answer Set Programming for a Decision Support System -- Data Integration: a Challenging ASP Application -- Abduction and Preferences in Linguistics -- Inference of Gene Relations from Microarray Data by Abduction -- System Track -- nomore: A System for Computing Preferred Answer Sets -- Integrating an Answer Set Solver into Prolog: - -- circ2dlp — Translating Circumscription into Disjunctive Logic Programming -- Pbmodels — Software to Compute Stable Models by Pseudoboolean Solvers -- KMonitor– A Tool for Monitoring Plan Execution in Action Theories -- The nomore++ System -- Smodels A — A System for Computing Answer Sets of Logic Programs with Aggregates -- A DLP System with Object-Oriented Features -- Testing Strong Equivalence of Datalog Programs – Implementation and Examples -- SELP – A System for Studying Strong Equivalence Between Logic Programs -- cmodels – SAT-Based Disjunctive Answer Set Solver. |
| Record Nr. | UNISA-996465563503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic Programming and Nonmonotonic Reasoning : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings / / edited by Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina
| Logic Programming and Nonmonotonic Reasoning : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings / / edited by Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XIV, 462 p.) |
| Disciplina | 005.1/5 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer logic Software engineering Mathematical logic Computer programming Artificial Intelligence Logics and Meanings of Programs Software Engineering Mathematical Logic and Formal Languages Programming Techniques |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Nonmonotonic Reasoning in FLORA-2 -- Data Integration and Answer Set Programming -- Halo I: A Controlled Experiment for Large Scale Knowledge Base Development -- ASP Foundations -- Unfounded Sets for Disjunctive Logic Programs with Arbitrary Aggregates -- Loops: Relevant or Redundant? -- Approximating Answer Sets of Unitary Lifschitz-Woo Programs -- On Modular Translations and Strong Equivalence -- ASP Extensions -- Guarded Open Answer Set Programming -- External Sources of Computation for Answer Set Solvers -- Answer Sets for Propositional Theories -- Applications -- An ID-Logic Formalization of the Composition of Autonomous Databases -- On the Local Closed-World Assumption of Data-Sources -- Computing Dialectical Trees Efficiently in Possibilistic Defeasible Logic Programming -- Actions and Causations -- An Approximation of Action Theories of and Its Application to Conformant Planning -- Game-Theoretic Reasoning About Actions in Nonmonotonic Causal Theories -- Some Logical Properties of Nonmonotonic Causal Theories -- odular-?: An Elaboration Tolerant Approach to the Ramification and Qualification Problems -- Algorithms and Computation -- Platypus: A Platform for Distributed Answer Set Solving -- Solving Hard ASP Programs Efficiently -- Mode-Directed Fixed Point Computation -- Lookahead in Smodels Compared to Local Consistencies in CSP -- Foundations -- Nested Epistemic Logic Programs -- An Algebraic Account of Modularity in ID-Logic -- Default Reasoning with Preference Within Only Knowing Logic -- Semantics -- A Social Semantics for Multi-agent Systems -- Revisiting the Semantics of Interval Probabilistic Logic Programs -- Routley Semantics for Answer Sets -- The Well Supported Semantics for Multidimensional Dynamic Logic Programs -- Application Track -- Application of Smodels in Quartet Based Phylogeny Construction -- Using Answer Set Programming for a Decision Support System -- Data Integration: a Challenging ASP Application -- Abduction and Preferences in Linguistics -- Inference of Gene Relations from Microarray Data by Abduction -- System Track -- nomore: A System for Computing Preferred Answer Sets -- Integrating an Answer Set Solver into Prolog: - -- circ2dlp — Translating Circumscription into Disjunctive Logic Programming -- Pbmodels — Software to Compute Stable Models by Pseudoboolean Solvers -- KMonitor– A Tool for Monitoring Plan Execution in Action Theories -- The nomore++ System -- Smodels A — A System for Computing Answer Sets of Logic Programs with Aggregates -- A DLP System with Object-Oriented Features -- Testing Strong Equivalence of Datalog Programs – Implementation and Examples -- SELP – A System for Studying Strong Equivalence Between Logic Programs -- cmodels – SAT-Based Disjunctive Answer Set Solver. |
| Record Nr. | UNINA-9910484324003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Neuro symbolic reasoning and learning / / Paulo Shakarian, Chitta Baral, Gerardo I. Simari, Bowen Xi, Lahari Pokala
| Neuro symbolic reasoning and learning / / Paulo Shakarian, Chitta Baral, Gerardo I. Simari, Bowen Xi, Lahari Pokala |
| Autore | Shakarian Paulo |
| Pubbl/distr/stampa | Cham : , : Springer, , [2023] |
| Descrizione fisica | 1 online resource (xii, 119 pages) : illustrations |
| Disciplina | 006.31 |
| Collana | SpringerBriefs in computer science |
| Soggetto topico |
Artificial intelligence
Machine learning Logic, Symbolic and mathematical Artificial Intelligence Machine Learning |
| ISBN | 3-031-39179-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. New Ideas in Neuro Symbolic Reasoning and Learning -- Chapter 2. Brief Introduction to Propositional Logic and Predicate Calculus -- Chapter 3. Fuzzy and Annotated Logic for Neuro Symbolic Artificial Intelligence -- Chapter 4. LTN: Logic Tensor Networks -- Chapter 5. Neuro Symbolic Reasoning with Ontological Networks -- Chapter 6. LNN: Logical Neural Networks -- Chapter 7. NeurASP -- Chapter 8. Neuro Symbolic Learning with Differentiable Inductive Logic Programming -- Chapter 9. Understanding SATNet: Constraint Learning and Symbol Grounding -- Chapter 10. Neuro Symbolic AI for Sequential Decision Making -- Chapter 11. Neuro Symbolic Applications. |
| Record Nr. | UNINA-9910744508303321 |
Shakarian Paulo
|
||
| Cham : , : Springer, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Neuro symbolic reasoning and learning / / Paulo Shakarian, Chitta Baral, Gerardo I. Simari, Bowen Xi, Lahari Pokala
| Neuro symbolic reasoning and learning / / Paulo Shakarian, Chitta Baral, Gerardo I. Simari, Bowen Xi, Lahari Pokala |
| Autore | Shakarian Paulo |
| Pubbl/distr/stampa | Cham : , : Springer, , [2023] |
| Descrizione fisica | 1 online resource (xii, 119 pages) : illustrations |
| Disciplina | 006.31 |
| Collana | SpringerBriefs in computer science |
| Soggetto topico |
Artificial intelligence
Machine learning Logic, Symbolic and mathematical Artificial Intelligence Machine Learning |
| ISBN | 3-031-39179-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. New Ideas in Neuro Symbolic Reasoning and Learning -- Chapter 2. Brief Introduction to Propositional Logic and Predicate Calculus -- Chapter 3. Fuzzy and Annotated Logic for Neuro Symbolic Artificial Intelligence -- Chapter 4. LTN: Logic Tensor Networks -- Chapter 5. Neuro Symbolic Reasoning with Ontological Networks -- Chapter 6. LNN: Logical Neural Networks -- Chapter 7. NeurASP -- Chapter 8. Neuro Symbolic Learning with Differentiable Inductive Logic Programming -- Chapter 9. Understanding SATNet: Constraint Learning and Symbol Grounding -- Chapter 10. Neuro Symbolic AI for Sequential Decision Making -- Chapter 11. Neuro Symbolic Applications. |
| Record Nr. | UNISA-996550558403316 |
|
Shakarian Paulo
|
||
| Cham : , : Springer, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||