feed icon rss

Your email was sent successfully. Check your inbox.

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

Proceed reservation?

Export
Filter
  • Brandenburg  (4)
  • Stabi Berlin  (4)
  • Domstiftsarchiv
  • Ibero-Amerik. Institut
  • Collegium Polonicum
  • SB Falkensee
  • Kinemathek
  • Hertie School
  • Akad. der Künste
  • SB Herzberg
  • Gabbay, Dov M.  (4)
  • Philosophy  (4)
  • Licensed  (4)
Type of Medium
Language
Region
Library
Years
Subjects(RVK)
Access
  • Licensed  (4)
  • 1
    Online Resource
    Online Resource
    Amsterdam ; Boston : North Holland | Elsevier
    UID:
    b3kat_BV036962173
    Format: 1 Online-Ressource (x, 716 p.)
    Edition: Online-Ausgabe Elsevier e-book collection on ScienceDirect Sonstige Standardnummer des Gesamttitels: 041169-3
    ISBN: 0444516255 , 9780444516251
    Series Statement: Handbook of the history of logic 2
    Note: Includes bibliographical references and index
    Additional Edition: Reproduktion von Mediaeval and renaissance logic 2008
    Language: English
    Subjects: Mathematics , Philosophy
    RVK:
    RVK:
    Keywords: Logik ; Geschichte ; Aufsatzsammlung
    URL: Volltext  (Deutschlandweit zugänglich)
    Author information: Gabbay, Dov M. 1945-
    Author information: Woods, John 1937-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    Online Resource
    Online Resource
    Amsterdam : Elsevier North Holland | Oxford : [Elsevier Science [distributor]
    UID:
    b3kat_BV036962345
    Format: 1 Online-Ressource (719 Seiten)
    Edition: Online-Ausgabe Elsevier e-book collection on ScienceDirect Sonstige Standardnummer des Gesamttitels: 041169-3
    ISBN: 0444516220 , 9780444516220
    Series Statement: Handbook of the history of logic 7
    Note: Includes index
    Additional Edition: Reproduktion von Logic and the modalities in the twentieth century 2006
    Language: English
    Subjects: Mathematics , Philosophy
    RVK:
    RVK:
    Keywords: Logik ; Geschichte
    URL: Volltext  (Deutschlandweit zugänglich)
    Author information: Gabbay, Dov M. 1945-
    Author information: Woods, John 1937-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    UID:
    gbv_59512514X
    Format: 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
    Content: 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.
    Content: This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994. Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of numerous backgrounds; presently it is in a stage of accelerated dynamic growth. This book, as the proceedings of the first international conference particularly dedicated to temporal logic, gives a thorough state-of-the-art report on all aspects of temporal logic research relevant for computer science and AI. It contains 27 technical contributions carefully selected for presentation at ICTL '94 as well as three surveys and position papers.
    Note: Literaturangaben
    Additional Edition: ISBN 354058241X
    Additional Edition: ISBN 9783540582410
    Additional Edition: Erscheint auch als Druck-Ausgabe Temporal logic Berlin : Springer, 1994 ISBN 354058241X
    Additional Edition: ISBN 038758241X
    Language: English
    Subjects: Computer Science , Philosophy
    RVK:
    RVK:
    RVK:
    RVK:
    RVK:
    Keywords: Temporale Logik ; Konferenzschrift ; Aufsatzsammlung
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    Author information: Gabbay, Dov M. 1945-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    UID:
    gbv_630028583
    Format: Online-Ressource
    Edition: Elsevier e-book collection on ScienceDirect
    ISBN: 044451791X , 9780444517913
    Series Statement: A practical logic of cognitive systems v. 2
    Content: Acknowledgements. -- Preface. -- -- A Practical Logic of Cognitive Systems -- 1. Introduction -- 2. Practical Logic -- Conceptual Models of Abduction -- 3. The Structure of Abduction -- 4. Explanationist Abduction -- 5. Non-Plausibilistic Abduction -- 6. Diagnostic Abduction in AI -- 7. The Characteristic and the Plausible -- 8. Relevance and Analogy -- 9. Interpretation Abduction -- Formal Models of Abduction -- 10. A Glimpse of Formality -- 11. A General Theory of Logical Systems -- 12. A Base Logic -- 13. An Abductive Mechanism for the Base Logic -- Bibliography. -- Index
    Content: The present work is a continuation of the authors' acclaimed multi-volume A Practical Logic of Cognitive Systems. After having investigated the notion of relevance in their previous volume, Gabbay and Woods now turn to abduction. In this highly original approach, abduction is construed as ignorance-preserving inference, in which conjecture plays a pivotal role. Abduction is a response to a cognitive target that cannot be hit on the basis of what the agent currently knows. The abducer selects a hypothesis which were it true would enable the reasoner to attain his target. He concludes from this fact that the hypothesis may be conjectured. In allowing conjecture to stand in for the knowledge he fails to have, the abducer reveals himself to be a satisficer, since an abductive solution is not a solution from knowledge. Key to the authors' analysis is the requirement that a conjectured proposition is not just what a reasoner might allow himself to assume, but a proposition he must defeasibly release as a premiss for further inferences in the domain of enquiry in which the original abduction problem has arisen. The coverage of the book is extensive, from the philosophy of science to computer science and AI, from diagnostics to the law, from historical explanation to linguistic interpretation. One of the volume's strongest contributions is its exploration of the abductive character of criminal trials, with special attention given to the standard of proof beyond a reasonable doubt. Underlying their analysis of abductive reasoning is the authors' conception of practical agency. In this approach, practical agency is dominantly a matter of the comparative modesty of an agent's cognitive agendas, together with comparatively scant resources available for their advancement. Seen in these ways, abduction has a significantly practical character, precisely because it is a form of inference that satisfices rather than maximizes its response to the agent's cognitive target. The Reach of Abduction will be necessary reading for researchers, graduate students and senior undergraduates in logic, computer science, AI, belief dynamics, argumentation theory, cognitive psychology and neuroscience, linguistics, forensic science, legal reasoning and related areas. Key features: - Reach of Abduction is fully integrated with a background logic of cognitive systems. - The most extensive coverage compared to competitive works. - Demonstrates not only that abduction is a form of ignorance p ...
    Note: Includes bibliographical references (p. 443-472) and index , Acknowledgements. -- Preface. -- -- A Practical Logic of Cognitive Systems -- 1. Introduction -- 2. Practical Logic -- Conceptual Models of Abduction -- 3. The Structure of Abduction -- 4. Explanationist Abduction -- 5. Non-Plausibilistic Abduction -- 6. Diagnostic Abduction in AI -- 7. The Characteristic and the Plausible -- 8. Relevance and Analogy -- 9. Interpretation Abduction -- Formal Models of Abduction -- 10. A Glimpse of Formality -- 11. A General Theory of Logical Systems -- 12. A Base Logic -- 13. An Abductive Mechanism for the Base Logic -- Bibliography. -- Index. , The present work is a continuation of the authors' acclaimed multi-volume A Practical Logic of Cognitive Systems. After having investigated the notion of relevance in their previous volume, Gabbay and Woods now turn to abduction. In this highly original approach, abduction is construed as ignorance-preserving inference, in which conjecture plays a pivotal role. Abduction is a response to a cognitive target that cannot be hit on the basis of what the agent currently knows. The abducer selects a hypothesis which were it true would enable the reasoner to attain his target. He concludes from this fact that the hypothesis may be conjectured. In allowing conjecture to stand in for the knowledge he fails to have, the abducer reveals himself to be a satisficer, since an abductive solution is not a solution from knowledge. Key to the authors' analysis is the requirement that a conjectured proposition is not just what a reasoner might allow himself to assume, but a proposition he must defeasibly release as a premiss for further inferences in the domain of enquiry in which the original abduction problem has arisen. The coverage of the book is extensive, from the philosophy of science to computer science and AI, from diagnostics to the law, from historical explanation to linguistic interpretation. One of the volume's strongest contributions is its exploration of the abductive character of criminal trials, with special attention given to the standard of proof beyond a reasonable doubt. Underlying their analysis of abductive reasoning is the authors' conception of practical agency. In this approach, practical agency is dominantly a matter of the comparative modesty of an agent's cognitive agendas, together with comparatively scant resources available for their advancement. Seen in these ways, abduction has a significantly practical character, precisely because it is a form of inference that satisfices rather than maximizes its response to the agent's cognitive target. The Reach of Abduction will be necessary reading for researchers, graduate students and senior undergraduates in logic, computer science, AI, belief dynamics, argumentation theory, cognitive psychology and neuroscience, linguistics, forensic science, legal reasoning and related areas. Key features: - Reach of Abduction is fully integrated with a background logic of cognitive systems. - The most extensive coverage compared to competitive works. - Demonstrates not only that abduction is a form of ignorance p ...
    Additional Edition: ISBN 044451791X
    Additional Edition: Erscheint auch als Druck-Ausgabe Gabbay, Dov M., 1945- Reach of abduction Amsterdam ; San Diego, Calif : Elsevier, 2005 ISBN 044451791X
    Additional Edition: ISBN 9780444517913
    Language: English
    Subjects: Philosophy
    RVK:
    Keywords: Abduktion ; Kognition ; Abduktion ; Kognition ; Electronic books ; Electronic books
    URL: Volltext  (lizenzpflichtig)
    Author information: Gabbay, Dov M. 1945-
    Author information: Woods, John 1937-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages