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.
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
| 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 | ||
| Materiale a stampa | ||
| 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
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
KI-97: Advances in Artificial Intelligence [[electronic resource] ] : 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997, Proceedings / / edited by Gerhard Brewka, Christopher Habel, Bernhard Nebel
| KI-97: Advances in Artificial Intelligence [[electronic resource] ] : 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997, Proceedings / / edited by Gerhard Brewka, Christopher Habel, Bernhard Nebel |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (XI, 418 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Artificial Intelligence |
| ISBN | 3-540-69582-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Qualitative spatial representation and reasoning techniques -- COLBERT: A language for reactive control in Sapphira -- Machine learning for adaptive user interfaces -- Structured incremental proof planning -- Many-sorted logic in a learning theorem prover -- Rigid hypertableaux -- Minimal model generation based on E-hyper tableaux -- External analogy in inductive theorem proving -- Mechanising partiality without re-implementation -- From linear proofs to direct logic with exponentials -- Integrating an equality prover into a software development system based on type theory -- Causation and nonmonotonic temporal reasoning -- Labelled quantified modal logics -- Defining decision rules in signed horn clauses -- Modelling subjective distances -- An axiomatic approach to the spatial relations underlying left-right and in front of-behind -- Representation and processing of qualitative orientation knowledge -- A contribution to the question of authenticity of Rhesus using part-of-speech tagging -- Making objects more knowledgeable -- Constraining the acquisition of concepts by the quality of heterogeneous evidence -- Conceptualizing Adjectives -- Parsing N best trees from a word lattice -- Fast grid-based position tracking for mobile robots -- Integration of image sequence evaluation and fuzzy metric temporal logic programming -- Designing a counter: Another case study of dynamics and activation landscapes in recurrent networks -- Cooperating diagnostic expert systems to solve complex diagnosis tasks -- Tabu search vs. Random walk -- Multi-flip networks: Parallelizing genSAT -- Resource-adaptive action planning in a dialogue system for repair support -- A modal computational framework for default reasoning -- Planning diagonalization proofs -- Suffix tree automata in state space search -- Connection Cutting for Contraction Free Logic -- Agents in proactive environments -- Reducing lexical redundancy by augmenting conceptual knowledge -- A graphical user interface for an ECG classifier system -- Expert system in additional finishing -- Reasoning about exceptions (extended abstract) -- Learning and interpretation of the layout of structured documents. |
| Record Nr. | UNINA-9910144915103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
KI-97: Advances in Artificial Intelligence [[electronic resource] ] : 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997, Proceedings / / edited by Gerhard Brewka, Christopher Habel, Bernhard Nebel
| KI-97: Advances in Artificial Intelligence [[electronic resource] ] : 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997, Proceedings / / edited by Gerhard Brewka, Christopher Habel, Bernhard Nebel |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (XI, 418 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Artificial Intelligence |
| ISBN | 3-540-69582-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Qualitative spatial representation and reasoning techniques -- COLBERT: A language for reactive control in Sapphira -- Machine learning for adaptive user interfaces -- Structured incremental proof planning -- Many-sorted logic in a learning theorem prover -- Rigid hypertableaux -- Minimal model generation based on E-hyper tableaux -- External analogy in inductive theorem proving -- Mechanising partiality without re-implementation -- From linear proofs to direct logic with exponentials -- Integrating an equality prover into a software development system based on type theory -- Causation and nonmonotonic temporal reasoning -- Labelled quantified modal logics -- Defining decision rules in signed horn clauses -- Modelling subjective distances -- An axiomatic approach to the spatial relations underlying left-right and in front of-behind -- Representation and processing of qualitative orientation knowledge -- A contribution to the question of authenticity of Rhesus using part-of-speech tagging -- Making objects more knowledgeable -- Constraining the acquisition of concepts by the quality of heterogeneous evidence -- Conceptualizing Adjectives -- Parsing N best trees from a word lattice -- Fast grid-based position tracking for mobile robots -- Integration of image sequence evaluation and fuzzy metric temporal logic programming -- Designing a counter: Another case study of dynamics and activation landscapes in recurrent networks -- Cooperating diagnostic expert systems to solve complex diagnosis tasks -- Tabu search vs. Random walk -- Multi-flip networks: Parallelizing genSAT -- Resource-adaptive action planning in a dialogue system for repair support -- A modal computational framework for default reasoning -- Planning diagonalization proofs -- Suffix tree automata in state space search -- Connection Cutting for Contraction Free Logic -- Agents in proactive environments -- Reducing lexical redundancy by augmenting conceptual knowledge -- A graphical user interface for an ECG classifier system -- Expert system in additional finishing -- Reasoning about exceptions (extended abstract) -- Learning and interpretation of the layout of structured documents. |
| Record Nr. | UNISA-996465497803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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 | ||
| ||
Logics in Artificial Intelligence [[electronic resource] ] : European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000 Proceedings / / edited by Manuel Ojeda-Aciego, Inma P. de Guzman, Gerhard Brewka, Luis M. Pereira
| Logics in Artificial Intelligence [[electronic resource] ] : European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000 Proceedings / / edited by Manuel Ojeda-Aciego, Inma P. de Guzman, Gerhard Brewka, Luis M. Pereira |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (XII, 412 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Programming languages (Electronic computers) Mathematical logic Computer programming Artificial Intelligence Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Programming Techniques |
| ISBN | 3-540-40006-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- ‘On Being Informed’: Update Logics for Knowledge States -- Considerations on Updates of Logic Programs -- The Approach: Integrating Object Oriented Design and Formal Verification -- Semi-qualitative Reasoning about Distances: A Preliminary Report -- Regular Contributions -- Hybrid Probabilistic Logic Programs as Residuated Logic Programs -- Topo-distance: Measuring the Difference between Spatial Patterns -- An Abductive Mechanism for Natural Language Processing Based on Lambek Calculus -- Capturing Stationary and Regular Extensions with Reiter’s Extensions -- Representing the Process Semantics in the Event Calculus -- Declarative Formalization of Strategies for Action Selection: Applications to Planning -- An Algorithmic Approach to Recover Inconsistent Knowledge-Bases -- Acceptance Without Minimality -- Reduction Theorems for Boolean Formulas Using ?-Trees -- Simultaneous Rigid Sorted Unification -- Partially Adaptive Code Trees -- On Dialogue Systems with Speech Acts, Arguments, and Counterarguments -- Credulous and Sceptical Argument Games for Preferred Semantics -- A General Approach to Multi-agent Minimal Knowledge -- A Modal Logic for Network Topologies -- Avoiding Logical Omniscience by Using Subjective Situations -- Multi-agent Logic -- New Tractable Cases in Default Reasoning from Conditional Knowledge Bases -- Monodic Epistemic Predicate Logic -- Updates plus Preferences -- A Framework for Belief Update -- A Compilation of Brewka and Eiter’s Approach to Prioritization -- A Logic for Modeling Decision Making with Dynamic Preferences. |
| Record Nr. | UNISA-996466193903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logics in Artificial Intelligence : European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000 Proceedings / / edited by Manuel Ojeda-Aciego, Inma P. de Guzman, Gerhard Brewka, Luis M. Pereira
| Logics in Artificial Intelligence : European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000 Proceedings / / edited by Manuel Ojeda-Aciego, Inma P. de Guzman, Gerhard Brewka, Luis M. Pereira |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (XII, 412 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Programming languages (Electronic computers) Mathematical logic Computer programming Artificial Intelligence Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Programming Techniques |
| ISBN | 3-540-40006-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- ‘On Being Informed’: Update Logics for Knowledge States -- Considerations on Updates of Logic Programs -- The Approach: Integrating Object Oriented Design and Formal Verification -- Semi-qualitative Reasoning about Distances: A Preliminary Report -- Regular Contributions -- Hybrid Probabilistic Logic Programs as Residuated Logic Programs -- Topo-distance: Measuring the Difference between Spatial Patterns -- An Abductive Mechanism for Natural Language Processing Based on Lambek Calculus -- Capturing Stationary and Regular Extensions with Reiter’s Extensions -- Representing the Process Semantics in the Event Calculus -- Declarative Formalization of Strategies for Action Selection: Applications to Planning -- An Algorithmic Approach to Recover Inconsistent Knowledge-Bases -- Acceptance Without Minimality -- Reduction Theorems for Boolean Formulas Using ?-Trees -- Simultaneous Rigid Sorted Unification -- Partially Adaptive Code Trees -- On Dialogue Systems with Speech Acts, Arguments, and Counterarguments -- Credulous and Sceptical Argument Games for Preferred Semantics -- A General Approach to Multi-agent Minimal Knowledge -- A Modal Logic for Network Topologies -- Avoiding Logical Omniscience by Using Subjective Situations -- Multi-agent Logic -- New Tractable Cases in Default Reasoning from Conditional Knowledge Bases -- Monodic Epistemic Predicate Logic -- Updates plus Preferences -- A Framework for Belief Update -- A Compilation of Brewka and Eiter’s Approach to Prioritization -- A Logic for Modeling Decision Making with Dynamic Preferences. |
| Record Nr. | UNINA-9910208853103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Nonmonotonic and Inductive Logic [[electronic resource] ] : Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings / / edited by Gerhard Brewka, Klaus P. Jantke, Peter H. Schmitt
| Nonmonotonic and Inductive Logic [[electronic resource] ] : Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings / / edited by Gerhard Brewka, Klaus P. Jantke, Peter H. Schmitt |
| Edizione | [1st ed. 1993.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 |
| Descrizione fisica | 1 online resource (X, 338 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Artificial Intelligence Mathematical Logic and Formal Languages Mathematical Logic and Foundations |
| ISBN | 3-540-47557-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A tutorial on Nonmonotonic Reasoning -- On the sample complexity of various learning strategies in the probabilistic PAC learning paradigms -- More about learning elementary formal systems -- A polynomial time algorithm for finding finite unions of tree pattern languages -- Towards efficient inductive synthesis: Rapid construction of local regularities -- Deductive generalization in a default logic setting -- Deduction with supernormal defaults -- Multi-agent learning: Theoretical and empirical studies -- Predicate synthesis from formal specifications: Using mathematical induction for finding the preconditions of theorems -- Dual types of hypotheses in inductive inference -- All I know about Tweety -- Monotonic versus non-monotonic language learning -- Normal form results for default logic -- Retrieval in case-based reasoning using preferred subtheories -- Interactive synthesis of process flowcharts -- Probabilistic inference of approximations. |
| Record Nr. | UNISA-996466076603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||