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.
GWAI-92: Advances in Artificial Intelligence [[electronic resource] ] : 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31 - September 3, 1992. Proceedings / / edited by Hans J. Ohlbach
| GWAI-92: Advances in Artificial Intelligence [[electronic resource] ] : 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31 - September 3, 1992. Proceedings / / edited by Hans J. Ohlbach |
| Edizione | [1st ed. 1993.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 |
| Descrizione fisica | 1 online resource (XIII, 407 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Artificial Intelligence |
| ISBN | 3-540-47626-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | How to construct a logic for your application -- A model elimination calculus with built-in theories -- A new sorted logic -- An explanatory framework for human theorem proving -- Towards first-order deduction based on Shannon graphs -- Success and failure of expert systems in. different fields of industrial application -- Viewing knowledge engineering as a symbiosis of Modeling to make sense and modeling to implement systems -- Cases as a basis for knowledge acquisition in the pre-formal phases of knowledge engineering -- Controlling generate & test in any time -- Efficient computation of solutions for contradictory time interval networks -- Extensions of concept languages for a mechanical engineering application -- Combining terminological and rule-based reasoning for abstraction processes -- Forward logic evaluation: Compiling a partially evaluated meta-interpreter into the WAM -- Concept support as a method for programming neural networks with symbolic knowledge -- A heuristic inductive generalization method and its application to VLSI-design -- Learning plan abstractions -- On discontinuous Q-Functions in reinforcement learning -- An intelligent tutoring system for classification problem solving -- Knowledge-based processing of medical language: A language engineering approach -- Text planning in ITEX: A hybrid approach -- Yes/no questions with negation: Towards integrating semantics and pragmatics -- An efficient decision algorithm for feature logic -- Universally quantified queries in languages with order-sorted logics -- A semantic view of explanation -- Goal-driven similarity assessment -- Delegated negotiation for resource re-allocation -- Towards a specification language for cooperation methods -- Improving operating system usage -- The role of user models for conflicts in a constraint-based model of generation -- Criteria in natural language generation: Minimal criteria and their impacts -- Terminological representation, natural language & relation algebra -- Linking humans and intelligent systems or: What are user agents good for? -- An advisor for the management of the acute radiation syndrome. |
| Record Nr. | UNISA-996466079603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Principles and Practice of Semantic Web Reasoning [[electronic resource] ] : Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004, Proceedings / / edited by Hans J. Ohlbach, Sebastian Schaffert
| Principles and Practice of Semantic Web Reasoning [[electronic resource] ] : Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004, Proceedings / / edited by Hans J. Ohlbach, Sebastian Schaffert |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (VII, 163 p.) |
| Disciplina | 025.04 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Database management Application software Information storage and retrieval Artificial intelligence Mathematical logic Popular Computer Science Database Management Information Systems Applications (incl. Internet) Information Storage and Retrieval Artificial Intelligence Mathematical Logic and Formal Languages |
| ISBN | 3-540-30122-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On Subtyping of Tree-Structured Data: A Polynomial Approach -- Towards Generic Query, Update, and Event Languages for the Semantic Web -- Data Retrieval and Evolution on the (Semantic) Web: A Deductive Approach -- Rules and Queries with Ontologies: A Unified Logical Framework -- Semantic Web Reasoning for Ontology-Based Integration of Resources -- Static Type-Checking of Datalog with Ontologies -- Reasoning About Temporal Context Using Ontology and Abductive Constraint Logic Programming -- Towards a Multi-calendar Temporal Type System for (Semantic) Web Query Languages -- Calendrical Calculations with Time Partitionings and Fuzzy Time Intervals -- DR-DEVICE: A Defeasible Logic System for the Semantic Web -- A PDDL Based Tool for Automatic Web Service Composition. |
| Record Nr. | UNISA-996465572103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Principles and Practice of Semantic Web Reasoning : Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004, Proceedings / / edited by Hans J. Ohlbach, Sebastian Schaffert
| Principles and Practice of Semantic Web Reasoning : Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004, Proceedings / / edited by Hans J. Ohlbach, Sebastian Schaffert |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (VII, 163 p.) |
| Disciplina | 025.04 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Database management Application software Information storage and retrieval Artificial intelligence Mathematical logic Popular Computer Science Database Management Information Systems Applications (incl. Internet) Information Storage and Retrieval Artificial Intelligence Mathematical Logic and Formal Languages |
| ISBN | 3-540-30122-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On Subtyping of Tree-Structured Data: A Polynomial Approach -- Towards Generic Query, Update, and Event Languages for the Semantic Web -- Data Retrieval and Evolution on the (Semantic) Web: A Deductive Approach -- Rules and Queries with Ontologies: A Unified Logical Framework -- Semantic Web Reasoning for Ontology-Based Integration of Resources -- Static Type-Checking of Datalog with Ontologies -- Reasoning About Temporal Context Using Ontology and Abductive Constraint Logic Programming -- Towards a Multi-calendar Temporal Type System for (Semantic) Web Query Languages -- Calendrical Calculations with Time Partitionings and Fuzzy Time Intervals -- DR-DEVICE: A Defeasible Logic System for the Semantic Web -- A PDDL Based Tool for Automatic Web Service Composition. |
| Record Nr. | UNINA-9910144152403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Qualitative and Quantitative Practical Reasoning [[electronic resource] ] : First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 Proceedings / / edited by Dov Gabbay, Rudolf Kruse, Andreas Nonnengart, Hans J. Ohlbach
| Qualitative and Quantitative Practical Reasoning [[electronic resource] ] : First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 Proceedings / / edited by Dov Gabbay, Rudolf Kruse, Andreas Nonnengart, Hans J. Ohlbach |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (X, 626 p.) |
| Disciplina | 006.3/33 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Mathematical logic
Artificial intelligence Logic Mathematical Logic and Foundations Artificial Intelligence Mathematical Logic and Formal Languages |
| ISBN | 3-540-69129-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Multisensor data fusion in situation assessment processes -- Dependency mining in relational databases -- Syntactic combination of uncertain information: A possibilistic approach -- A coherence-based approach to default reasoning -- A syntactical approach to data fusion -- Some experimental results on learning probabilistic and possibilistic networks with different evaluation measures -- Information fusion in logic: A brief overview -- Focusing vs. belief revision: A fundamental distinction when dealing with generic knowledge -- Background and perspectives of possibilistic graphical models -- Checking several forms of consistency in nonmonotonic knowledge-bases -- The ?-junctions: Combination operators applicable to belief functions -- Just how stupid is postmodernism? -- Integrating preference orderings into argument-based reasoning -- Assumption-based modeling using ABEL -- Propositional quantification for conditional logic -- Fast-division architecture for Dempster-Shafer belief functions -- Graduality by means of analogical reasoning -- Reasoning about unpredicted change and explicit time -- Non-elementary speed-ups in default reasoning -- A compositional reasoning system for executing nonmonotonic theories of reasoning -- Structured belief bases: A practical approach to prioritised base revision -- Entrenchment relations: A uniform approach to nonmonotonicity -- A modal logic for reasoning about knowledge and time on binary subset trees -- How to change factual beliefs using laws and dependence information -- Using default logic for lexical knowledge -- A layered, any time approach to sensor validation -- TreeNets: A framework for anytime evaluation of belief networks -- A logically sound method for uncertain reasoning with quantified conditionals -- Belief functions with nonstandard values -- Error tolerance method in multiple-valued logic -- Representing and reasoning with events from natural language -- Reasoning about security: A logic and a decision method for role-based access control -- Process modeling with different qualities of knowledge -- A Fuzzy analysis of linguistic negation of nuanced property in Knowledge-Based systems -- Normative argumentation and qualitative probability -- Towards a formalization of narratives: Actions with duration, concurrent actions and qualifications -- Multiple subarguments in logic, argumentation, rhetoric and text generation -- Cactus: A branching-time logic programming language -- Creating prototypes for fast classification in Dempster-Shafer clustering -- Probabilistic default logic based on irrelevance and relevance assumptions -- Logic for two: The semantics of distributive substructural logics -- Multivalued extension of conditional belief functions -- Combining evidence under partial ignorance -- Rational Default Quantifier Logic -- Disjunctive update, minimal change, and default reasoning -- Toward a uniform logical representation of different kinds of integrity constraints. |
| Record Nr. | UNINA-9910144920403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Qualitative and Quantitative Practical Reasoning [[electronic resource] ] : First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 Proceedings / / edited by Dov Gabbay, Rudolf Kruse, Andreas Nonnengart, Hans J. Ohlbach
| Qualitative and Quantitative Practical Reasoning [[electronic resource] ] : First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 Proceedings / / edited by Dov Gabbay, Rudolf Kruse, Andreas Nonnengart, Hans J. Ohlbach |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (X, 626 p.) |
| Disciplina | 006.3/33 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Mathematical logic
Artificial intelligence Logic Mathematical Logic and Foundations Artificial Intelligence Mathematical Logic and Formal Languages |
| ISBN | 3-540-69129-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Multisensor data fusion in situation assessment processes -- Dependency mining in relational databases -- Syntactic combination of uncertain information: A possibilistic approach -- A coherence-based approach to default reasoning -- A syntactical approach to data fusion -- Some experimental results on learning probabilistic and possibilistic networks with different evaluation measures -- Information fusion in logic: A brief overview -- Focusing vs. belief revision: A fundamental distinction when dealing with generic knowledge -- Background and perspectives of possibilistic graphical models -- Checking several forms of consistency in nonmonotonic knowledge-bases -- The ?-junctions: Combination operators applicable to belief functions -- Just how stupid is postmodernism? -- Integrating preference orderings into argument-based reasoning -- Assumption-based modeling using ABEL -- Propositional quantification for conditional logic -- Fast-division architecture for Dempster-Shafer belief functions -- Graduality by means of analogical reasoning -- Reasoning about unpredicted change and explicit time -- Non-elementary speed-ups in default reasoning -- A compositional reasoning system for executing nonmonotonic theories of reasoning -- Structured belief bases: A practical approach to prioritised base revision -- Entrenchment relations: A uniform approach to nonmonotonicity -- A modal logic for reasoning about knowledge and time on binary subset trees -- How to change factual beliefs using laws and dependence information -- Using default logic for lexical knowledge -- A layered, any time approach to sensor validation -- TreeNets: A framework for anytime evaluation of belief networks -- A logically sound method for uncertain reasoning with quantified conditionals -- Belief functions with nonstandard values -- Error tolerance method in multiple-valued logic -- Representing and reasoning with events from natural language -- Reasoning about security: A logic and a decision method for role-based access control -- Process modeling with different qualities of knowledge -- A Fuzzy analysis of linguistic negation of nuanced property in Knowledge-Based systems -- Normative argumentation and qualitative probability -- Towards a formalization of narratives: Actions with duration, concurrent actions and qualifications -- Multiple subarguments in logic, argumentation, rhetoric and text generation -- Cactus: A branching-time logic programming language -- Creating prototypes for fast classification in Dempster-Shafer clustering -- Probabilistic default logic based on irrelevance and relevance assumptions -- Logic for two: The semantics of distributive substructural logics -- Multivalued extension of conditional belief functions -- Combining evidence under partial ignorance -- Rational Default Quantifier Logic -- Disjunctive update, minimal change, and default reasoning -- Toward a uniform logical representation of different kinds of integrity constraints. |
| Record Nr. | UNISA-996465571803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Temporal Logic [[electronic resource] ] : First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings / / edited by Dov M. Gabbay, Hans J. Ohlbach
| Temporal Logic [[electronic resource] ] : First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings / / edited by Dov M. Gabbay, Hans J. Ohlbach |
| Edizione | [1st ed. 1994.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1994 |
| Descrizione fisica | 1 online resource (XIII, 551 p.) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Architecture, Computer
Computers Artificial intelligence Mathematical logic Computer logic Database management Computer System Implementation Theory of Computation Artificial Intelligence Mathematical Logic and Formal Languages Logics and Meanings of Programs Database Management |
| ISBN | 3-540-48585-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Combining temporal specification techniques -- Global equivalence proofs for ISTL -- A real time process logic -- Sometimes “Tomorrow” is “Sometime” -- Applications of transaction logic to knowledge representation -- Circumscribing features and fluents -- Dealing with time granularity in a temporal planning system -- Axiomatizing U and S over integer time -- Temporal logic with reference pointers -- Completeness through flatness in two-dimensional temporal logic -- Efficient computation of nested fix-points, with applications to model checking -- How linear can branching-time be? -- First-order future interval logic -- Buy one, get one free !!! -- Back and forth through time and events -- Interpreting tense, aspect and time adverbials: A compositional, unified approach -- Synchronized histories in prior-thomason representation of branching time -- On the completeness of temporal database query languages -- The Abductive Event Calculus as a general framework for temporal databases -- A decision procedure for a temporal belief logic -- Decidability of deliberative stit theories with multiple agents -- Abduction in temporal reasoning -- A temporal logic approach to implementation and refinement in timed Petri nets -- A stuttering closed temporal logic for modular reasoning about concurrent programs -- A hierarchy of partial order temporal properties -- A graph-based approach to resolution in temporal logic -- Annotation-based deduction in temporal logic -- An overview of temporal and modal logic programming -- A survey of concurrent MetateM — The language and its applications -- Temporal query languages: A survey -- Improving temporal logic tableaux using integer constraints -- A system for automated deduction in graphical interval logic -- SCDBR: A reasoner for specifications in the situation calculus of database updates. |
| Record Nr. | UNISA-996466091503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||