skip to content
Covid-19 virus
COVID-19 Resources

Reliable information about the coronavirus (COVID-19) is available from the World Health Organization (current situation, international travel). Numerous and frequently-updated resource results are available from this WorldCat.org search. OCLC’s WebJunction has pulled together information and resources to assist library staff as they consider how to handle coronavirus issues in their communities.

Image provided by: CDC/ Alissa Eckert, MS; Dan Higgins, MAM
Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR ʼ96, Bonn, Germany, June 3-7, 1996 : proceedings Preview this item
ClosePreview this item
Checking...

Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR ʼ96, Bonn, Germany, June 3-7, 1996 : proceedings

Author: Dov M Gabbay; Hans Jürgen Ohlbach
Publisher: Berlin ; New York : Springer, ©1996.
Series: Lecture notes in computer science, 1085.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
This book constitutes the refereed proceedings of the International Conference on Formal and Applied Practical Reasoning, FAPR '96, held in Bonn, Germany, in June 1996. The 51 revised full papers included in the book together with eight posters were carefully selected for presentation at the conference. The book addresses current aspects of the highly interdisciplinary area of practical reasoning in artificial  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: (DLC) 96022590
(OCoLC)34676096
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Dov M Gabbay; Hans Jürgen Ohlbach
ISBN: 9783540684541 3540684549 3540613137 9783540613138
OCLC Number: 326688293
Description: 1 online resource (xv, 719 pages) : illustrations
Contents: 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?
Series Title: Lecture notes in computer science, 1085.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Other Titles: FAPR '96
Responsibility: Dov M. Gabbay, Hans Jürgen Ohlbach (eds.).

Abstract:

This book constitutes the refereed proceedings of the International Conference on Formal and Applied Practical Reasoning, FAPR '96, held in Bonn, Germany, in June 1996.The 51 revised full papers  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


\n\n

Primary Entity<\/h3>\n
<http:\/\/www.worldcat.org\/oclc\/326688293<\/a>> # Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR \u02BC96, Bonn, Germany, June 3-7, 1996 : proceedings<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:CreativeWork<\/a>, schema:Book<\/a>, schema:MediaObject<\/a> ;\u00A0\u00A0\u00A0\nlibrary:oclcnum<\/a> \"326688293<\/span>\" ;\u00A0\u00A0\u00A0\nlibrary:placeOfPublication<\/a> <http:\/\/dbpedia.org\/resource\/New_York_City<\/a>> ; # New York<\/span>\n\u00A0\u00A0\u00A0\nlibrary:placeOfPublication<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1104351627#Place\/berlin<\/a>> ; # Berlin<\/span>\n\u00A0\u00A0\u00A0\nlibrary:placeOfPublication<\/a> <http:\/\/id.loc.gov\/vocabulary\/countries\/gw<\/a>> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1104351627#Topic\/automatic_theorem_proving<\/a>> ; # Automatic theorem proving<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1104351627#Topic\/engineering_&_applied_sciences<\/a>> ; # Engineering & Applied Sciences<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/id.worldcat.org\/fast\/822777<\/a>> ; # Automatic theorem proving<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/id.worldcat.org\/fast\/817247<\/a>> ; # Artificial intelligence<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1104351627#Topic\/reasoning<\/a>> ; # Reasoning<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/dewey.info\/class\/006.3\/e20\/<\/a>> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1104351627#Topic\/artificial_intelligence<\/a>> ; # Artificial intelligence<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/id.worldcat.org\/fast\/1091282<\/a>> ; # Reasoning<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1104351627#Topic\/computer_science<\/a>> ; # Computer Science<\/span>\n\u00A0\u00A0\u00A0\nschema:alternateName<\/a> \"FAPR \'96<\/span>\" ;\u00A0\u00A0\u00A0\nschema:bookFormat<\/a> schema:EBook<\/a> ;\u00A0\u00A0\u00A0\nschema:contributor<\/a> <http:\/\/viaf.org\/viaf\/22315506<\/a>> ; # Hans J\u00FCrgen Ohlbach<\/span>\n\u00A0\u00A0\u00A0\nschema:contributor<\/a> <http:\/\/viaf.org\/viaf\/76325399<\/a>> ; # Dov M. Gabbay<\/span>\n\u00A0\u00A0\u00A0\nschema:copyrightYear<\/a> \"1996<\/span>\" ;\u00A0\u00A0\u00A0\nschema:creator<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1104351627#Meeting\/international_conference_on_formal_and_applied_practical_reasoning_1996_bonn_germany<\/a>> ; # International Conference on Formal and Applied Practical Reasoning (1996 : Bonn, Germany)<\/span>\n\u00A0\u00A0\u00A0\nschema:datePublished<\/a> \"1996<\/span>\" ;\u00A0\u00A0\u00A0\nschema:description<\/a> \"This book constitutes the refereed proceedings of the International Conference on Formal and Applied Practical Reasoning, FAPR \'96, held in Bonn, Germany, in June 1996. The 51 revised full papers included in the book together with eight posters were carefully selected for presentation at the conference. The book addresses current aspects of the highly interdisciplinary area of practical reasoning in artificial intelligence, philosophy, psychology, linguistics, software engineering, intelligent systems, and industrial applications. Among the topics addressed are user modeling, belief, legal reasoning, argumentation, dialogue logic, default reasoning, analogy, metareasoning, temporal and procedural reasoning, and many others.<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:description<\/a> \"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?<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:exampleOfWork<\/a> <http:\/\/worldcat.org\/entity\/work\/id\/1104351627<\/a>> ;\u00A0\u00A0\u00A0\nschema:genre<\/a> \"Conference publication<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:genre<\/a> \"Electronic books<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:genre<\/a> \"Conference papers and proceedings<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:inLanguage<\/a> \"en<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isPartOf<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1104351627#Series\/lecture_notes_in_computer_science_lecture_notes_in_artificial_intelligence<\/a>> ; # Lecture notes in computer science ; Lecture notes in artificial intelligence<\/span>\n\u00A0\u00A0\u00A0\nschema:isPartOf<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1104351627#Series\/lecture_notes_in_computer_science<\/a>> ; # Lecture notes in computer science.<\/span>\n\u00A0\u00A0\u00A0\nschema:isSimilarTo<\/a> <http:\/\/www.worldcat.org\/oclc\/34676096<\/a>> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR \u02BC96, Bonn, Germany, June 3-7, 1996 : proceedings<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:productID<\/a> \"326688293<\/span>\" ;\u00A0\u00A0\u00A0\nschema:publication<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/326688293#PublicationEvent\/berlin_new_york_springer_1996<\/a>> ;\u00A0\u00A0\u00A0\nschema:publisher<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1104351627#Agent\/springer<\/a>> ; # Springer<\/span>\n\u00A0\u00A0\u00A0\nschema:url<\/a> <http:\/\/dx.doi.org\/10.1007\/3-540-61313-7<\/a>> ;\u00A0\u00A0\u00A0\nschema:url<\/a> <https:\/\/doi.org\/10.1007\/3-540-61313-7<\/a>> ;\u00A0\u00A0\u00A0\nschema:url<\/a> <http:\/\/link.springer.com\/10.1007\/3-540-61313-7<\/a>> ;\u00A0\u00A0\u00A0\nschema:url<\/a> <https:\/\/link.springer.com\/10.1007\/3-540-61313-7<\/a>> ;\u00A0\u00A0\u00A0\nschema:url<\/a> <http:\/\/link.springer.com\/openurl?genre=book&isbn=978-3-540-61313-8<\/a>> ;\u00A0\u00A0\u00A0\nschema:workExample<\/a> <http:\/\/dx.doi.org\/10.1007\/3-540-61313-7<\/a>> ;\u00A0\u00A0\u00A0\nschema:workExample<\/a> <http:\/\/worldcat.org\/isbn\/9783540684541<\/a>> ;\u00A0\u00A0\u00A0\nschema:workExample<\/a> <http:\/\/worldcat.org\/isbn\/9783540613138<\/a>> ;\u00A0\u00A0\u00A0\nwdrs:describedby<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/326688293<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n\n

Related Entities<\/h3>\n
<http:\/\/dbpedia.org\/resource\/New_York_City<\/a>> # New York<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"New York<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/dewey.info\/class\/006.3\/e20\/<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/dx.doi.org\/10.1007\/3-540-61313-7<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:IndividualProduct<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1104351627#Agent\/springer<\/a>> # Springer<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:Agent<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Springer<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1104351627#Meeting\/international_conference_on_formal_and_applied_practical_reasoning_1996_bonn_germany<\/a>> # International Conference on Formal and Applied Practical Reasoning (1996 : Bonn, Germany)<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:Meeting<\/a>, schema:Event<\/a> ;\u00A0\u00A0\u00A0\nschema:location<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1104351627#Place\/bonn_germany<\/a>> ; # Bonn, Germany)<\/span>\n\u00A0\u00A0\u00A0\nschema:name<\/a> \"International Conference on Formal and Applied Practical Reasoning (1996 : Bonn, Germany)<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1104351627#Place\/berlin<\/a>> # Berlin<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Berlin<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1104351627#Place\/bonn_germany<\/a>> # Bonn, Germany)<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Bonn, Germany)<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1104351627#Series\/lecture_notes_in_computer_science<\/a>> # Lecture notes in computer science.<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:PublicationSeries<\/a> ;\u00A0\u00A0\u00A0\nschema:hasPart<\/a> <http:\/\/www.worldcat.org\/oclc\/326688293<\/a>> ; # Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR \u02BC96, Bonn, Germany, June 3-7, 1996 : proceedings<\/span>\n\u00A0\u00A0\u00A0\nschema:name<\/a> \"Lecture notes in computer science.<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Lecture notes in computer science ;<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1104351627#Series\/lecture_notes_in_computer_science_lecture_notes_in_artificial_intelligence<\/a>> # Lecture notes in computer science ; Lecture notes in artificial intelligence<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:PublicationSeries<\/a> ;\u00A0\u00A0\u00A0\nschema:hasPart<\/a> <http:\/\/www.worldcat.org\/oclc\/326688293<\/a>> ; # Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR \u02BC96, Bonn, Germany, June 3-7, 1996 : proceedings<\/span>\n\u00A0\u00A0\u00A0\nschema:name<\/a> \"Lecture notes in computer science ; Lecture notes in artificial intelligence<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1104351627#Topic\/artificial_intelligence<\/a>> # Artificial intelligence<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nrdfs:seeAlso<\/a> <http:\/\/id.loc.gov\/authorities\/subjects\/sh2007101476<\/a>> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Artificial intelligence<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1104351627#Topic\/automatic_theorem_proving<\/a>> # Automatic theorem proving<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nrdfs:seeAlso<\/a> <http:\/\/id.loc.gov\/authorities\/subjects\/sh2007101477<\/a>> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Automatic theorem proving<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1104351627#Topic\/computer_science<\/a>> # Computer Science<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Computer Science<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1104351627#Topic\/engineering_&_applied_sciences<\/a>> # Engineering & Applied Sciences<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Engineering & Applied Sciences<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1104351627#Topic\/reasoning<\/a>> # Reasoning<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nrdfs:seeAlso<\/a> <http:\/\/id.loc.gov\/authorities\/subjects\/sh2008110531<\/a>> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Reasoning<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/id.loc.gov\/vocabulary\/countries\/gw<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\ndcterms:identifier<\/a> \"gw<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/id.worldcat.org\/fast\/1091282<\/a>> # Reasoning<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Reasoning<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/id.worldcat.org\/fast\/817247<\/a>> # Artificial intelligence<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Artificial intelligence<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/id.worldcat.org\/fast\/822777<\/a>> # Automatic theorem proving<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Automatic theorem proving<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/viaf.org\/viaf\/22315506<\/a>> # Hans J\u00FCrgen Ohlbach<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Person<\/a> ;\u00A0\u00A0\u00A0\nschema:familyName<\/a> \"Ohlbach<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"Hans J\u00FCrgen<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Hans J\u00FCrgen Ohlbach<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/viaf.org\/viaf\/76325399<\/a>> # Dov M. Gabbay<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Person<\/a> ;\u00A0\u00A0\u00A0\nschema:birthDate<\/a> \"1945<\/span>\" ;\u00A0\u00A0\u00A0\nschema:familyName<\/a> \"Gabbay<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"Dov M.<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Dov M. Gabbay<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/worldcat.org\/isbn\/9783540613138<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:ProductModel<\/a> ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"3540613137<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"9783540613138<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/worldcat.org\/isbn\/9783540684541<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:ProductModel<\/a> ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"3540684549<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"9783540684541<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/www.worldcat.org\/oclc\/34676096<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:CreativeWork<\/a> ;\u00A0\u00A0\u00A0\nschema:isSimilarTo<\/a> <http:\/\/www.worldcat.org\/oclc\/326688293<\/a>> ; # Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR \u02BC96, Bonn, Germany, June 3-7, 1996 : proceedings<\/span>\n\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/www.worldcat.org\/title\/-\/oclc\/326688293<\/a>>\u00A0\u00A0\u00A0\u00A0a \ngenont:InformationResource<\/a>, genont:ContentTypeGenericResource<\/a> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/www.worldcat.org\/oclc\/326688293<\/a>> ; # Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR \u02BC96, Bonn, Germany, June 3-7, 1996 : proceedings<\/span>\n\u00A0\u00A0\u00A0\nschema:dateModified<\/a> \"2019-09-28<\/span>\" ;\u00A0\u00A0\u00A0\nvoid:inDataset<\/a> <http:\/\/purl.oclc.org\/dataset\/WorldCat<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/www.worldcat.org\/title\/-\/oclc\/326688293#PublicationEvent\/berlin_new_york_springer_1996<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:PublicationEvent<\/a> ;\u00A0\u00A0\u00A0\nschema:location<\/a> <http:\/\/dbpedia.org\/resource\/New_York_City<\/a>> ; # New York<\/span>\n\u00A0\u00A0\u00A0\nschema:location<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1104351627#Place\/berlin<\/a>> ; # Berlin<\/span>\n\u00A0\u00A0\u00A0\nschema:organizer<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1104351627#Agent\/springer<\/a>> ; # Springer<\/span>\n\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n\n

Content-negotiable representations<\/p>\n