Handbook of Philosophical Logic : Volume 18 / / edited by Dov M. Gabbay, Franz Guenthner |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (377 pages) |
Disciplina | 160 |
Collana | Handbook of Philosophical Logic |
Soggetto topico |
Logic
Linguistics Modern philosophy Linguistics, general Modern Philosophy |
ISBN | 3-319-97755-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Chapter 1. Deontic Logic and Changing Preferences (Johan van Benthem and Fenrong Liu) -- Chapter 2. Homogeneous and heterogeneous logical proportions: An introduction (Henri Prade and Gilles Richard) -- Chapter 3. The Formalization of Pratical Reasoning: Problems and Prospects (Richmond H. Thomason) -- Chapter 4. Principles of Talmudic Logic (M. Abraham, D. M. Gabbay and U. Schild). |
Record Nr. | UNINA-9910300612203321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Practical Reasoning [[electronic resource] ] : International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June (3-7), 1996. Proceedings. / / edited by Dov M. Gabbay, Hans Jürgen Ohlbach |
Edizione | [1st ed. 1996.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
Descrizione fisica | 1 online resource (XVIII, 726 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Mathematical logic Artificial Intelligence Mathematical Logic and Foundations Mathematical Logic and Formal Languages |
ISBN | 3-540-68454-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Integrating statistical audit evidence with belief function theory -- A comparative survey of default logic variants -- Modal logics with relative accessibility relations -- Geometrical structures and modal logic -- A unified framework for hypothetical and practical reasoning (1): Theoretical foundations -- A unified framework for hypothetical and practical reasoning (2): Lessons from medical applications -- General domain circumscription and its first-order reduction -- Reasoning about rational, but not logically omniscient agents (extended abstract) -- Specification of nonmonotonic reasoning -- Intelligent agents in the Situation Calculus: An application to user modelling -- Talkin'bout consistency, or: When logically possible becomes possible -- The analysis and evaluation of legal argumentation from a pragma-dialectical perspective -- Reasoning about reasoning -- A resolution-based proof method for temporal logics of knowledge and belief -- A methodology for iterated theory change -- A formal framework for causal modeling and argumentation -- Goals in argumentation -- An abductive proof procedure for conditional logic programming -- Commands in dialogue logic -- Ideal and real belief about belief -- Analogical reasoning of organic reactions based on the structurized compound-reaction diagram -- Labelling ideality and subideality -- Mind, morals, and reasons -- Aristotle, Whately, and the taxonomy of fallacies -- Nonmonotonic reasoning with multiple belief sets -- SEdit — Graphically validating technical systems -- The need for a dialectical tier in arguments -- Two kinds of non-monotonic analogical inference -- The normative reconstruction of analogy argumentation in judicial decisions: A pragma-dialectical perspective -- Formal reasoning about modules, reuse and their correctness -- A tableau calculus for first-order branching time logic -- Possible world semantics for analogous reasoning -- Using temporary integrity constraints to optimize databases -- Graded inheritance nets for knowledge representation -- Defining normative systems for qualitative argumentation -- Complex argumentation in judicial decisions. Analysing conflicting arguments -- Combining partitions and modal logic for user modeling -- Reason in a changing world -- A system for defeasible argumentation, with defeasible priorities -- Modal logic for modelling actions and agents -- Formalization of reasoning about default action (preliminary report) -- An architecture for argumentative dialogue planning -- Skeptical query-answering in Constrained Default Logic -- Type theoretic semantics for SemNet -- From syllogisms to audiences: The prospects for logic in a rhetorical model of argumentation -- Human reasoning with negative defaults -- On the semantics of the unknown -- System J — Revision entailment -- Deep disagreements and public demoralization -- Practical reasoning with procedural knowledge -- Towards the assessment of logics for concurrent actions -- Default reasoning and belief revision in the CIN Project -- Mechanizing multi-agent reasoning with belief contexts -- Arguments and mental models: A position paper -- Argumentation and decision making: A position paper -- The implementation of LENA -- The implementation of CondLP -- How to reason about akratic action practically?. |
Record Nr. | UNISA-996465612503316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 | ||
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 |
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 | ||
|