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.
Foundations of Knowledge Representation and Reasoning [[electronic resource] /] / edited by Gerhard Lakemeyer, Bernhard Nebel
| Foundations of Knowledge Representation and Reasoning [[electronic resource] /] / edited by Gerhard Lakemeyer, Bernhard Nebel |
| Edizione | [1st ed. 1994.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1994 |
| Descrizione fisica | 1 online resource (IX, 363 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Artificial Intelligence Mathematical Logic and Formal Languages |
| ISBN | 3-540-48453-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Foundations of knowledge representation and reasoning -- Collective entities and relations in concept languages -- Computing extensions of terminological default theories -- A formalization of interval-based temporal subsumption in first order logic -- Normative, subjunctive and autoepistemic defaults -- Abductive reasoning with abstraction axioms -- Queries, rules and definitions as epistemic sentences in concept languages -- The power of beliefs or translating default logic into standard autoepistemic logic -- Learning an optimally accurate representation system -- Default reasoning via negation as failure -- Weak autoepistemic reasoning and well-founded semantics -- Forming concepts for fast inference -- A common-sense theory of time -- Reasoning with analogical representations -- Asking about possibilities — Revision and update semantics for subjunctive queries Extended report -- On the impact of stratification on the complexity of nonmonotonic reasoning -- Logics of mental attitudes in AI -- Hyperrational conditionals -- Revision by expansion in logic programs. |
| Record Nr. | UNISA-996466246503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
KI-94: Advances in Artificial Intelligence [[electronic resource] ] : 18th German Annual Conference on Artificial Intelligence, Saarbrücken, September 18-23, 1994. Proceedings / / edited by Bernhard Nebel, Leonie Dreschler-Fischer
| KI-94: Advances in Artificial Intelligence [[electronic resource] ] : 18th German Annual Conference on Artificial Intelligence, Saarbrücken, September 18-23, 1994. Proceedings / / edited by Bernhard Nebel, Leonie Dreschler-Fischer |
| Edizione | [1st ed. 1994.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1994 |
| Descrizione fisica | 1 online resource (XI, 409 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Artificial Intelligence Mathematical Logic and Formal Languages |
| ISBN | 3-540-48979-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | AI approaches towards sensor-based driver support in road vehicles -- Representing concurrent actions and solving conflicts -- Preselection strategies for case based classification -- Utilizing spatial relations for natural language access to an autonomous mobile robot -- Cardinality restrictions on concepts -- An artificial neural network for high precision eye movement tracking -- A Kripke-Kleene logic over general logic programs -- The stable semantics and its variants: A comparison of recent approaches -- TabVer a case study in table verbalization -- Cooperating to be noncooperative: The dialog system PRACMA -- Robust constructive induction -- Enriching a semantic network language by integrating qualitative reasoning techniques -- Combining spatial and terminological reasoning -- Detecting gestalts in CAD-plans to be used as indices for case-retrieval in architecture -- The NeuDB-system: Towards the integration of neural networks and database systems -- Weighted defaults in description logics: Formal properties and proof theory -- Epistemic queries in Classic -- Communicating rational agents -- Knowledge-level modularization of a complex knowledge base -- Program verification techniques as a tool for reasoning about action and change -- A conditional logic for updating in the possible models approach -- Probabilistic justification of default reasoning -- A prioritized Contextual Default Logic: Curing anomalous extensions with a simple abnormality default theory -- Incorporating specificity into circumscriptive theories -- Coherent choice and epistemic entrenchment (preliminary report) -- A note on tableaux of logic of paradox -- When nonmonotonicity comes from distances -- Rigid unification by completion and rigid paramodulation -- Unification in a sorted ?-calculus with term declarations and function sorts -- Goal oriented equational theorem proving using team work -- The hardest random SAT problems -- Formal methods for automated program improvement -- Adapting methods to novel tasks in proof planning -- Using charts for transfer in MT -- A new frame for common-sense reasoning — Towards local inconsistencies -- Prioritized transitions for updates -- An optimal bidirectional search algorithm -- Learning to discriminate phases in gas-liquid flow -- Strategies for semantical contractions -- Conflicts in the spatial interaction of autonomous agents -- Using rough sets theory to predict German word stress -- Graphtheoretical algorithms and knowledge-based design -- Interval situation calculus. |
| Record Nr. | UNISA-996466147003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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 | ||
| ||
Spatial Cognition IV, Reasoning, Action, Interaction [[electronic resource] ] : International Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004, Revised Selected Papers / / edited by Christian Freksa, Markus Knauff, Bernd Krieg-Brückner, Bernhard Nebel, Thomas Barkowsky
| Spatial Cognition IV, Reasoning, Action, Interaction [[electronic resource] ] : International Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004, Revised Selected Papers / / edited by Christian Freksa, Markus Knauff, Bernd Krieg-Brückner, Bernhard Nebel, Thomas Barkowsky |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XIII, 519 p.) |
| Disciplina | 006.3/32 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Data structures (Computer science) Computer graphics Computer simulation Earth sciences Artificial Intelligence Data Structures Computer Graphics Simulation and Modeling Earth Sciences, general |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Route Directions, Wayfinding, and Spatial Behavior -- Finding the Way Inside: Linking Architectural Design Analysis and Cognitive Processes -- Modelling Wayfinding in Public Transport: Network Space and Scene Space -- Isovists as a Means to Predict Spatial Experience and Behavior -- A Model for Context-Specific Route Directions -- Investigation of Preference Between the Least-Angle Strategy and the Initial Segment Strategy for Route Selection in Unknown Environments -- Descriptions of Space – Prepositions and Reference -- Spatial Prepositions and Vague Quantifiers: Implementing the Functional Geometric Framework -- Reference Frame Conflict in Assigning Direction to Space -- Identifying Objects on the Basis of Spatial Contrast: An Empirical Study -- Cultural Differences of Spatial Descriptions in Tourist Guidebooks -- Mental Models, Diagrams, and Maps -- Reasoning About Consistency with Spatial Mental Models: Hidden and Obvious Indeterminacy in Spatial Descriptions -- Spatial Principles in Control of Focus in Reasoning with Mental Representations, Images, and Diagrams -- Perceptually Induced Distortions in Cognitive Maps -- Characterizing Diagrams Produced by Individuals and Dyads -- Sketch Map Analysis Using GIS Buffer Operation -- Imagined Perspective–Changing Within and Across Novel Environments -- Thinking Through Diagrams: Discovery in Game Playing -- Spatio-Temporal Representation and Reasoning -- The Finest of its Class: The Natural Point-Based Ternary Calculus for Qualitative Spatial Reasoning -- Exploiting Qualitative Spatial Neighborhoods in the Situation Calculus -- Branching Allen -- SNAPVis and SPANVis: Ontologies for Recognizing Variable Vista Spatial Environments -- Modelling Models of Robot Navigation Using Formal Spatial Ontology -- Specification of an Ontology for Route Graphs -- Robot Mapping and Piloting -- Autonomous Construction of Hierarchical Voronoi-Based Route Graph Representations -- Using 2D and 3D Landmarks to Solve the Correspondence Problem in Cognitive Robot Mapping -- Treemap: An O(log n) Algorithm for Simultaneous Localization and Mapping -- Towards Dialogue Based Shared Control of Navigating Robots -- Perception and Tracking of Dynamic Objects for Optimization of Avoidance Strategies in Autonomous Piloting of Vehicles. |
| Record Nr. | UNISA-996465944103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Spatial Cognition IV, Reasoning, Action, Interaction : International Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004, Revised Selected Papers / / edited by Christian Freksa, Markus Knauff, Bernd Krieg-Brückner, Bernhard Nebel, Thomas Barkowsky
| Spatial Cognition IV, Reasoning, Action, Interaction : International Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004, Revised Selected Papers / / edited by Christian Freksa, Markus Knauff, Bernd Krieg-Brückner, Bernhard Nebel, Thomas Barkowsky |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XIII, 519 p.) |
| Disciplina | 006.3/32 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Data structures (Computer science) Computer graphics Computer simulation Earth sciences Artificial Intelligence Data Structures Computer Graphics Simulation and Modeling Earth Sciences, general |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Route Directions, Wayfinding, and Spatial Behavior -- Finding the Way Inside: Linking Architectural Design Analysis and Cognitive Processes -- Modelling Wayfinding in Public Transport: Network Space and Scene Space -- Isovists as a Means to Predict Spatial Experience and Behavior -- A Model for Context-Specific Route Directions -- Investigation of Preference Between the Least-Angle Strategy and the Initial Segment Strategy for Route Selection in Unknown Environments -- Descriptions of Space – Prepositions and Reference -- Spatial Prepositions and Vague Quantifiers: Implementing the Functional Geometric Framework -- Reference Frame Conflict in Assigning Direction to Space -- Identifying Objects on the Basis of Spatial Contrast: An Empirical Study -- Cultural Differences of Spatial Descriptions in Tourist Guidebooks -- Mental Models, Diagrams, and Maps -- Reasoning About Consistency with Spatial Mental Models: Hidden and Obvious Indeterminacy in Spatial Descriptions -- Spatial Principles in Control of Focus in Reasoning with Mental Representations, Images, and Diagrams -- Perceptually Induced Distortions in Cognitive Maps -- Characterizing Diagrams Produced by Individuals and Dyads -- Sketch Map Analysis Using GIS Buffer Operation -- Imagined Perspective–Changing Within and Across Novel Environments -- Thinking Through Diagrams: Discovery in Game Playing -- Spatio-Temporal Representation and Reasoning -- The Finest of its Class: The Natural Point-Based Ternary Calculus for Qualitative Spatial Reasoning -- Exploiting Qualitative Spatial Neighborhoods in the Situation Calculus -- Branching Allen -- SNAPVis and SPANVis: Ontologies for Recognizing Variable Vista Spatial Environments -- Modelling Models of Robot Navigation Using Formal Spatial Ontology -- Specification of an Ontology for Route Graphs -- Robot Mapping and Piloting -- Autonomous Construction of Hierarchical Voronoi-Based Route Graph Representations -- Using 2D and 3D Landmarks to Solve the Correspondence Problem in Cognitive Robot Mapping -- Treemap: An O(log n) Algorithm for Simultaneous Localization and Mapping -- Towards Dialogue Based Shared Control of Navigating Robots -- Perception and Tracking of Dynamic Objects for Optimization of Avoidance Strategies in Autonomous Piloting of Vehicles. |
| Record Nr. | UNINA-9910484272003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Spatial Cognition IX [[electronic resource] ] : International Conference, Spatial Cognition 2014, Bremen, Germany, September 15-19, 2014. Proceedings / / edited by Christian Freksa, Bernhard Nebel, Mary Hegarty, Thomas Barkowsky
| Spatial Cognition IX [[electronic resource] ] : International Conference, Spatial Cognition 2014, Bremen, Germany, September 15-19, 2014. Proceedings / / edited by Christian Freksa, Bernhard Nebel, Mary Hegarty, Thomas Barkowsky |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XII, 397 p. 145 illus.) |
| Disciplina | 006.332 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Computer simulation
Optical data processing User interfaces (Computer systems) Artificial intelligence Information storage and retrieval Application software Simulation and Modeling Computer Imaging, Vision, Pattern Recognition and Graphics User Interfaces and Human Computer Interaction Artificial Intelligence Information Storage and Retrieval Information Systems Applications (incl. Internet) |
| ISBN | 3-319-11215-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Spatial memory -- Language and communication -- Wayfinding and navigation -- Computational models -- Diagrams and maps -- Technical approaches -- Spatial ability. |
| Record Nr. | UNISA-996202525703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Spatial Cognition IX : International Conference, Spatial Cognition 2014, Bremen, Germany, September 15-19, 2014. Proceedings / / edited by Christian Freksa, Bernhard Nebel, Mary Hegarty, Thomas Barkowsky
| Spatial Cognition IX : International Conference, Spatial Cognition 2014, Bremen, Germany, September 15-19, 2014. Proceedings / / edited by Christian Freksa, Bernhard Nebel, Mary Hegarty, Thomas Barkowsky |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XII, 397 p. 145 illus.) |
| Disciplina | 006.332 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Computer simulation
Optical data processing User interfaces (Computer systems) Artificial intelligence Information storage and retrieval Application software Simulation and Modeling Computer Imaging, Vision, Pattern Recognition and Graphics User Interfaces and Human Computer Interaction Artificial Intelligence Information Storage and Retrieval Information Systems Applications (incl. Internet) |
| ISBN | 3-319-11215-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Spatial memory -- Language and communication -- Wayfinding and navigation -- Computational models -- Diagrams and maps -- Technical approaches -- Spatial ability. |
| Record Nr. | UNINA-9910484344503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||