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 | ||
![]() | ||
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 |
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Database Theory - ICDT 2005 [[electronic resource] ] : 10th International Conference, Edinburgh, UK, January 5-7, 2005, Proceedings / / edited by Thomas Eiter, Leonid Libkin |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
Descrizione fisica | 1 online resource (XII, 420 p.) |
Disciplina | 005.74 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Database management
Computers Mathematical logic Artificial intelligence Application software Information storage and retrieval Database Management Computation by Abstract Devices Mathematical Logic and Formal Languages Artificial Intelligence Information Systems Applications (incl. Internet) Information Storage and Retrieval |
ISBN | 3-540-30570-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Model Checking for Database Theoreticians -- The Design Space of Type Checkers for XML Transformation Languages -- Semantics of Data Streams and Operators -- Regular Papers -- Conjunctive Query Evaluation by Search Tree Revisited -- Which XML Schemas Admit 1-Pass Preorder Typing? -- The Pipelined Set Cover Problem -- Session: Query Languages and Types -- Well-Definedness and Semantic Type-Checking in the Nested Relational Calculus and XQuery -- First Order Paths in Ordered Trees -- An Abstract Framework for Generating Maximal Answers to Queries -- Session: Multi-dimensional Data Processing -- Optimal Distributed Declustering Using Replication -- When Is Nearest Neighbors Indexable? -- Nonmaterialized Motion Information in Transport Networks -- Session: Algorithmic Aspects -- Algorithms for the Database Layout Problem -- Approximately Dominating Representatives -- On Horn Axiomatizations for Sequential Data -- Session: Privacy and Security -- Privacy in Database Publishing -- Anonymizing Tables -- Authorization Views and Conditional Query Containment -- Session: Logic and Databases -- PTIME Queries Revisited -- Asymptotic Conditional Probabilities for Conjunctive Queries -- Magic Sets and Their Application to Data Integration -- Session: Query Rewriting -- View-Based Query Processing: On the Relationship Between Rewriting, Answering and Losslessness -- First-Order Query Rewriting for Inconsistent Databases -- Rewriting Queries Using Views with Access Patterns Under Integrity Constraints -- Session: Query Processing, and Data Streams -- Optimal Workload-Based Weighted Wavelet Synopses -- Selecting and Using Views to Compute Aggregate Queries -- Efficient Computation of Frequent and Top-k Elements in Data Streams. |
Record Nr. | UNISA-996466075003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Database Theory - ICDT 2005 : 10th International Conference, Edinburgh, UK, January 5-7, 2005, Proceedings / / edited by Thomas Eiter, Leonid Libkin |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
Descrizione fisica | 1 online resource (XII, 420 p.) |
Disciplina | 005.74 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Database management
Computers Mathematical logic Artificial intelligence Application software Information storage and retrieval Database Management Computation by Abstract Devices Mathematical Logic and Formal Languages Artificial Intelligence Information Systems Applications (incl. Internet) Information Storage and Retrieval |
ISBN | 3-540-30570-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Model Checking for Database Theoreticians -- The Design Space of Type Checkers for XML Transformation Languages -- Semantics of Data Streams and Operators -- Regular Papers -- Conjunctive Query Evaluation by Search Tree Revisited -- Which XML Schemas Admit 1-Pass Preorder Typing? -- The Pipelined Set Cover Problem -- Session: Query Languages and Types -- Well-Definedness and Semantic Type-Checking in the Nested Relational Calculus and XQuery -- First Order Paths in Ordered Trees -- An Abstract Framework for Generating Maximal Answers to Queries -- Session: Multi-dimensional Data Processing -- Optimal Distributed Declustering Using Replication -- When Is Nearest Neighbors Indexable? -- Nonmaterialized Motion Information in Transport Networks -- Session: Algorithmic Aspects -- Algorithms for the Database Layout Problem -- Approximately Dominating Representatives -- On Horn Axiomatizations for Sequential Data -- Session: Privacy and Security -- Privacy in Database Publishing -- Anonymizing Tables -- Authorization Views and Conditional Query Containment -- Session: Logic and Databases -- PTIME Queries Revisited -- Asymptotic Conditional Probabilities for Conjunctive Queries -- Magic Sets and Their Application to Data Integration -- Session: Query Rewriting -- View-Based Query Processing: On the Relationship Between Rewriting, Answering and Losslessness -- First-Order Query Rewriting for Inconsistent Databases -- Rewriting Queries Using Views with Access Patterns Under Integrity Constraints -- Session: Query Processing, and Data Streams -- Optimal Workload-Based Weighted Wavelet Synopses -- Selecting and Using Views to Compute Aggregate Queries -- Efficient Computation of Frequent and Top-k Elements in Data Streams. |
Record Nr. | UNINA-9910484650503321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Foundations of Information and Knowledge Systems [[electronic resource] ] : Second International Symposium, FoIKS 2002 Salzau Castle, Germany, February 20-23, 2002 Proceedings / / edited by Thomas Eiter, Klaus-Dieter Schewe |
Edizione | [1st ed. 2002.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Descrizione fisica | 1 online resource (X, 294 p.) |
Disciplina | 006.3/3 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Database management
Data structures (Computer science) Computer engineering Information storage and retrieval Application software Artificial intelligence Database Management Data Structures and Information Theory Computer Engineering Information Storage and Retrieval Information Systems Applications (incl. Internet) Artificial Intelligence |
ISBN | 3-540-45758-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Modeling Paraconsistent Reasoning by Classical Logic -- Implementing Term Algebra Syntactic Unification in Free Modules over Certain Rings -- Analytic Tableaux and Database Repairs: Foundations -- Controlled Query Evaluation for Known Policies by Combining Lying and Refusal -- A Logical Framework for Integrating Inconsistent Information in Multiple Databases -- Functional Dependencies in Presence of Errors -- A Context Model for Constructing Membership Functions of Fuzzy Concepts Based on Modal Logic -- The Principle of Conditional Preservation in Belief Revision -- Query Rewriting with Symmetric Constraints -- A Privacy-Enhanced Microaggregation Method -- Towards a Tailored Theory of Consistency Enforcement in Databases -- Improving Supervised Learning by Feature Decomposition -- Extremal Theorems for Databases -- Relational Databases and Homogeneity in Logics with Counting -- Uniqueness of Update Strategies for Database Views -- Knowledge Representation in Extended Pawlak’s Information Systems: Algebraic Aspects -- Minimal Sample Databases for Global Cardinality Constraints. |
Record Nr. | UNISA-996465400903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Foundations of Information and Knowledge Systems : Second International Symposium, FoIKS 2002 Salzau Castle, Germany, February 20-23, 2002 Proceedings / / edited by Thomas Eiter, Klaus-Dieter Schewe |
Edizione | [1st ed. 2002.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Descrizione fisica | 1 online resource (X, 294 p.) |
Disciplina | 006.3/3 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Database management
Data structures (Computer science) Computer engineering Information storage and retrieval Application software Artificial intelligence Database Management Data Structures and Information Theory Computer Engineering Information Storage and Retrieval Information Systems Applications (incl. Internet) Artificial Intelligence |
ISBN | 3-540-45758-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Modeling Paraconsistent Reasoning by Classical Logic -- Implementing Term Algebra Syntactic Unification in Free Modules over Certain Rings -- Analytic Tableaux and Database Repairs: Foundations -- Controlled Query Evaluation for Known Policies by Combining Lying and Refusal -- A Logical Framework for Integrating Inconsistent Information in Multiple Databases -- Functional Dependencies in Presence of Errors -- A Context Model for Constructing Membership Functions of Fuzzy Concepts Based on Modal Logic -- The Principle of Conditional Preservation in Belief Revision -- Query Rewriting with Symmetric Constraints -- A Privacy-Enhanced Microaggregation Method -- Towards a Tailored Theory of Consistency Enforcement in Databases -- Improving Supervised Learning by Feature Decomposition -- Extremal Theorems for Databases -- Relational Databases and Homogeneity in Logics with Counting -- Uniqueness of Update Strategies for Database Views -- Knowledge Representation in Extended Pawlak’s Information Systems: Algebraic Aspects -- Minimal Sample Databases for Global Cardinality Constraints. |
Record Nr. | UNINA-9910143914103321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
KI 2001: Advances in Artificial Intelligence [[electronic resource] ] : Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001. Proceedings / / edited by Franz Baader, Gerhard Brewka, Thomas Eiter |
Edizione | [1st ed. 2001.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
Descrizione fisica | 1 online resource (XIV, 474 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Artificial Intelligence |
ISBN | 3-540-45422-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Contributions -- Computational Game Theory and AI -- Optimal Agent Section -- Selected Papers -- Towards First-Order Temporal Resolution -- Approximating Most Specific Concepts in Description Logics with Existential Restrictions -- Bayesian Learning and Evolutionary Parameter Optimization -- Papers on Foundations -- Abductive Partial Order Planning with Dependent Fluents -- Constraint-Based Optimization of Priority Schemes for Decoupled Path Planning Techniques -- Possible Worlds Semantics for Credulous and Contraction Inference -- The Point Algebra for Branching Time Revisited -- Exploiting Conditional Equivalences in Connection Calculi -- Propositional Satisfiability in Answer-Set Programming -- Prediction of Regular Search Tree Growth by Spectral Analysis -- Theory and Practice of Time-Space Trade-Offs in Memory Limited Search -- Hierarchical Diagnosis of Large Configurator Knowledge Bases -- Towards Distributed Configuration -- Belief Update in the pGOLOG Framework -- Finding Optimal Solutions to Atomix -- History-Based Diagnosis Templates in the Framework of the Situation Calculus -- A Defense Model for Games with Incomplete Information -- Towards Inferring Labelling Heuristics for CSP Application Domains -- Addressing the Qualification Problem in FLUX -- Extracting Situation Facts from Activation Value Histories in Behavior-Based Robots -- Learning Search Control Knowledge for Equational Theorem Proving -- Intelligent Structuring and Reducing of Association Rules with Formal Concept Analysis -- Comparing Two Models for Software Debugging -- Inferring Implicit State Knowledge and Plans with Sensing Actions -- Papers on Applications -- Multi-agent Systems as Intelligent Virtual Environments -- OilEd: A Reason-able Ontology Editor for the Semantic Web -- Experiments with an Agent-Oriented Reasoning System -- Learning to Execute Navigation Plans -- DiKe - A Model-Based Diagnosis Kernel and Its Application -- Industrial Papers -- Constraints Applied to Configurations -- From Theory to Practice: AI Planning for High Performance Elevator Control -- Semantic Networks in a Knowledge Management Portal -- Collaborative Supply Net Management. |
Record Nr. | UNISA-996465796803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
KI 2001: Advances in Artificial Intelligence : Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001. Proceedings / / edited by Franz Baader, Gerhard Brewka, Thomas Eiter |
Edizione | [1st ed. 2001.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
Descrizione fisica | 1 online resource (XIV, 474 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Artificial Intelligence |
ISBN | 3-540-45422-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Contributions -- Computational Game Theory and AI -- Optimal Agent Section -- Selected Papers -- Towards First-Order Temporal Resolution -- Approximating Most Specific Concepts in Description Logics with Existential Restrictions -- Bayesian Learning and Evolutionary Parameter Optimization -- Papers on Foundations -- Abductive Partial Order Planning with Dependent Fluents -- Constraint-Based Optimization of Priority Schemes for Decoupled Path Planning Techniques -- Possible Worlds Semantics for Credulous and Contraction Inference -- The Point Algebra for Branching Time Revisited -- Exploiting Conditional Equivalences in Connection Calculi -- Propositional Satisfiability in Answer-Set Programming -- Prediction of Regular Search Tree Growth by Spectral Analysis -- Theory and Practice of Time-Space Trade-Offs in Memory Limited Search -- Hierarchical Diagnosis of Large Configurator Knowledge Bases -- Towards Distributed Configuration -- Belief Update in the pGOLOG Framework -- Finding Optimal Solutions to Atomix -- History-Based Diagnosis Templates in the Framework of the Situation Calculus -- A Defense Model for Games with Incomplete Information -- Towards Inferring Labelling Heuristics for CSP Application Domains -- Addressing the Qualification Problem in FLUX -- Extracting Situation Facts from Activation Value Histories in Behavior-Based Robots -- Learning Search Control Knowledge for Equational Theorem Proving -- Intelligent Structuring and Reducing of Association Rules with Formal Concept Analysis -- Comparing Two Models for Software Debugging -- Inferring Implicit State Knowledge and Plans with Sensing Actions -- Papers on Applications -- Multi-agent Systems as Intelligent Virtual Environments -- OilEd: A Reason-able Ontology Editor for the Semantic Web -- Experiments with an Agent-Oriented Reasoning System -- Learning to Execute Navigation Plans -- DiKe - A Model-Based Diagnosis Kernel and Its Application -- Industrial Papers -- Constraints Applied to Configurations -- From Theory to Practice: AI Planning for High Performance Elevator Control -- Semantic Networks in a Knowledge Management Portal -- Collaborative Supply Net Management. |
Record Nr. | UNINA-9910143623503321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Logic Programming and Nonmonotonic Reasoning [[electronic resource] ] : 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings / / edited by Thomas Eiter, Wolfgang Faber, Miroslaw Trusczynksi |
Edizione | [1st ed. 2001.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
Descrizione fisica | 1 online resource (X, 454 p.) |
Disciplina | 005.1/15 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Software engineering
Artificial intelligence Mathematical logic Computer programming Software Engineering/Programming and Operating Systems Artificial Intelligence Mathematical Logic and Formal Languages Programming Techniques |
ISBN | 3-540-45402-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- A Computational Logic Approach to Heterogenous Agent Systems -- Declarative Information Extraction, Web Crawling, and Recursive Wrapping with Lixto -- On The Complexity of Model Checking and Inference in Minimal Models -- Data Integration Needs Reasoning -- Nonmonotomic Inductive Logic Programming -- Regular Papers -- Strong Equivalence for Logic Programs and Default Theories (Made Easy) -- On the Effect of Default Negation on the Expressiveness of Disjunctive Rules -- On the Expressibility of Stable Logic Programming -- On the Relationship between Defeasible Logic and Well-Founded Semantics -- A Comparative Study of Well-Founded Semantics for Disjunctive Logic Programs -- Reasoning with Open Logic Programs -- Representation of Incomplete Knowledge by Induction of Default Theories -- Explicity Using Default Knowledge in Concept Learning: An Extended Description Logics Plus Strict and Default Rules -- Declarative Specification and Solution of Combinatorial Auctions Using Logic Programming -- Bounded LTL Model Checking with Stable Models -- Diagnosing Physical Systems in A-Prolog -- Planning with Different Forms of Domain-Dependent Control Knowledge — An Answer Set Programming Approach -- Encoding Solutions of the Frame Problem in Dynamic Logic -- ?-RES: Reasoning about Actions, Events and Observations -- Omega-Restricted Logic Programs -- Improving ASP Instantiators by Join-Ordering Methods -- Optimizing the Computation of Heuristics for Answer Set Programming Systems -- New Generation Systems for Non-monotonic Reasoning -- Algorithms for Computing X-Minimal Models -- Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics -- Multi-adjoint Logic Programming with Continous Semantics -- Multi-dimensional Dynamic Knowledge Representation -- Antitonic Logic Programs -- System Description -- A-system: Declarative Programming with Abduction -- An Update Front-End for Extended Logic Programs -- aspps — An Implementation of Answer-Set Programming with Propositional Schemata -- NoMoRe: A System for Non-Monotonic Reasoning under Answer Set Semantics -- plp: A Generic Compiler for Ordered Logic Programs -- Prototypes for Reasoning with Infinite Stable Models and Function Symbols -- psmodels: Stable Models Based on Pertinence -- System Description: DLV -- System Description: The DLVK Planning System -- The Smodels System -- The USA-Advisor: A Case Study in Answer Set Planning. |
Record Nr. | UNISA-996465803803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Logic Programming and Nonmonotonic Reasoning : 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings / / edited by Thomas Eiter, Wolfgang Faber, Miroslaw Trusczynksi |
Edizione | [1st ed. 2001.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
Descrizione fisica | 1 online resource (X, 454 p.) |
Disciplina | 005.1/15 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Software engineering
Artificial intelligence Mathematical logic Computer programming Software Engineering/Programming and Operating Systems Artificial Intelligence Mathematical Logic and Formal Languages Programming Techniques |
ISBN | 3-540-45402-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- A Computational Logic Approach to Heterogenous Agent Systems -- Declarative Information Extraction, Web Crawling, and Recursive Wrapping with Lixto -- On The Complexity of Model Checking and Inference in Minimal Models -- Data Integration Needs Reasoning -- Nonmonotomic Inductive Logic Programming -- Regular Papers -- Strong Equivalence for Logic Programs and Default Theories (Made Easy) -- On the Effect of Default Negation on the Expressiveness of Disjunctive Rules -- On the Expressibility of Stable Logic Programming -- On the Relationship between Defeasible Logic and Well-Founded Semantics -- A Comparative Study of Well-Founded Semantics for Disjunctive Logic Programs -- Reasoning with Open Logic Programs -- Representation of Incomplete Knowledge by Induction of Default Theories -- Explicity Using Default Knowledge in Concept Learning: An Extended Description Logics Plus Strict and Default Rules -- Declarative Specification and Solution of Combinatorial Auctions Using Logic Programming -- Bounded LTL Model Checking with Stable Models -- Diagnosing Physical Systems in A-Prolog -- Planning with Different Forms of Domain-Dependent Control Knowledge — An Answer Set Programming Approach -- Encoding Solutions of the Frame Problem in Dynamic Logic -- ?-RES: Reasoning about Actions, Events and Observations -- Omega-Restricted Logic Programs -- Improving ASP Instantiators by Join-Ordering Methods -- Optimizing the Computation of Heuristics for Answer Set Programming Systems -- New Generation Systems for Non-monotonic Reasoning -- Algorithms for Computing X-Minimal Models -- Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics -- Multi-adjoint Logic Programming with Continous Semantics -- Multi-dimensional Dynamic Knowledge Representation -- Antitonic Logic Programs -- System Description -- A-system: Declarative Programming with Abduction -- An Update Front-End for Extended Logic Programs -- aspps — An Implementation of Answer-Set Programming with Propositional Schemata -- NoMoRe: A System for Non-Monotonic Reasoning under Answer Set Semantics -- plp: A Generic Compiler for Ordered Logic Programs -- Prototypes for Reasoning with Infinite Stable Models and Function Symbols -- psmodels: Stable Models Based on Pertinence -- System Description: DLV -- System Description: The DLVK Planning System -- The Smodels System -- The USA-Advisor: A Case Study in Answer Set Planning. |
Record Nr. | UNINA-9910143624003321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|