GLORIA

GEOMAR Library Ocean Research Information Access

feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Online Resource
    Online Resource
    Amsterdam [u.a.] : Elsevier
    Keywords: Logique symbolique et mathématique ; Logic, Symbolic and mathematical ; MATHEMATICS ; Infinity ; MATHEMATICS ; Logic ; Logic, Symbolic and mathematical ; Logica ; Argumentatie ; Argumentation ; Inférence (Logique) ; Logique mathématique ; Raisonnement (Philosophie) ; Electronic books ; Electronic books ; Aufsatzsammlung ; Logik ; Kombinatorik
    Description / Table of Contents: The Handbook of the Logic of Argument and Inference is an authoritative reference work in a single volume, designed for the attention of senior undergraduates, graduate students and researchers in all the leading research areas concerned with the logic of practical argument and inference. After an introductory chapter, the role of standard logics is surveyed in two chapters. These chapters can serve as a mini-course for interested readers, in deductive and inductive logic, or as a refresher. Then follow two chapters of criticism; one the internal critique and the other the empirical critique. The first deals with objections to standard logics (as theories of argument and inference) arising from the research programme in philosophical logic. The second canvasses criticisms arising from work in cognitive and experimental psychology. The next five chapters deal with developments in dialogue logic, interrogative logic, informal logic, probability logic and artificial intelligence. The last chapter surveys formal approaches to practical reasoning and anticipates possible future developments. Taken as a whole the Handbook is a single-volume indication of the present state of the logic of argument and inference at its conceptual and theoretical best. Future editions will periodically incorporate significant new developments
    Type of Medium: Online Resource
    Pages: Online Ressource (x, 498 p.)
    Edition: 1. ed.
    ISBN: 0444506500 , 9780444506504 , 9780080532912 , 0080532918
    Series Statement: Studies in logic and practical reasoning 1
    RVK:
    Language: English
    Note: Includes bibliographical references and index. - Description based on print version record , Front Cover; Handbook of the Logic of Argument and Inference; Copyright Page; Contents; Preface; List of Authors; Chapter 1. Logic and The Practical Turn; Chapter 2. Standard Logics as Theories of Argument and Inference: Deduction; Chapter 3. Standard Logics as Theories of Argument and Inference: Induction; Chapter 4. Internal Critique: A Logic is not a Theory of Reasoning and a Theory of Reasoning is not a Logic; Chapter 5. Standard Logic as a Model of Reasoning: The Empirical Critique; Chapter 6. A Framework for Intersubjective Accountability: Dialogical Logic , Chapter 7. Interrogative LogicChapter 8. Informal Logic and the Reconfiguration of Logic; Chapter 9. Probability Logic; Chapter 10. Philosophical Incidence of Logic Programming; Chapter 11. Formal Approaches to Practical Reasoning: A Survey; Index; , English
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
  • 2
    Keywords: Logic design ; Logic, Symbolic and mathematical ; Computer science ; Database management ; Artificial intelligence ; Machine theory. ; Computer systems. ; Mathematical Logic and Formal Languages ; Computer Science ; Mathematical Logic and Foundations ; Logics and Meanings of Programs ; Artificial Intelligence (incl. Robotics) ; Database Management ; Konferenzschrift ; Aufsatzsammlung ; Temporale Logik
    Description / Table of Contents: 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.
    Type of Medium: Online Resource
    Pages: Online-Ressource (XI, 545 S.)
    Edition: Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
    ISBN: 9783540485858
    Series Statement: Lecture notes in computer science 827
    RVK:
    RVK:
    RVK:
    RVK:
    RVK:
    Language: English
    Note: Literaturangaben
    Location Call Number Limitation Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...