Matches in SemOpenAlex for { <https://semopenalex.org/work/W1836149488> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W1836149488 abstract "Hyper tableaux.- An algorithm for the retrieval of unifiers from discrimination trees.- Building proofs or counterexamples by analogy in a resolution framework.- What you always wanted to know about rigid E-unification.- Labelled proofs for quantified modal logic.- A uniform tableaux method for nonmonotonic modal logics.- Design and implementation of diagnostic strategies using modal logic.- A modal action logic based framework for organization specification and analysis.- McCarthy's idea.- Strong and explicit negation in non-monotonic reasoning and logic programming.- Only persistence makes nonmonotonicity monotonous.- Ordering-based representations of rational inference.- Semi-representability of default theories in rational default logic.- A query answering algorithm for Lukaszewicz' general open default theory.- Infinitary default logic for specification of nonmonotonic reasoning.- A system for computing constrained default logic extensions.- The Oz programming model.- An abductive framework for negation in disjunctive logic programming.- Characterizing D-WFS: Confluence and iterated GCWA.- Modules and specifications.- Logic programming with integrity constraints.- Temporal reasoning over linear discrete time.- Similarity saturation for first order linear temporal logic with UNLESS.- Carving Up space: Steps towards construction of an absolutely complete theory of spatial regions.- Informational logic for automated reasoning.- Extensions for open default theories via the domain closure assumption.- Revising and updating using a back-up semantics.- A simple signed system for paraconsistent reasoning." @default.
- W1836149488 created "2016-06-24" @default.
- W1836149488 creator A5004318797 @default.
- W1836149488 creator A5006380777 @default.
- W1836149488 creator A5029374365 @default.
- W1836149488 creator A5081749317 @default.
- W1836149488 date "1996-08-28" @default.
- W1836149488 modified "2023-10-18" @default.
- W1836149488 title "Logics in Artificial Intelligence: European Workshop, JELIA '96, Evora, Portugal, September 30 - October 3, 1996, Proceedings" @default.
- W1836149488 hasPublicationYear "1996" @default.
- W1836149488 type Work @default.
- W1836149488 sameAs 1836149488 @default.
- W1836149488 citedByCount "3" @default.
- W1836149488 countsByYear W18361494882012 @default.
- W1836149488 countsByYear W18361494882013 @default.
- W1836149488 crossrefType "book" @default.
- W1836149488 hasAuthorship W1836149488A5004318797 @default.
- W1836149488 hasAuthorship W1836149488A5006380777 @default.
- W1836149488 hasAuthorship W1836149488A5029374365 @default.
- W1836149488 hasAuthorship W1836149488A5081749317 @default.
- W1836149488 hasConcept C102993220 @default.
- W1836149488 hasConcept C108710211 @default.
- W1836149488 hasConcept C114092440 @default.
- W1836149488 hasConcept C121332964 @default.
- W1836149488 hasConcept C128838566 @default.
- W1836149488 hasConcept C154945302 @default.
- W1836149488 hasConcept C159032336 @default.
- W1836149488 hasConcept C160236029 @default.
- W1836149488 hasConcept C165801399 @default.
- W1836149488 hasConcept C169896238 @default.
- W1836149488 hasConcept C172385210 @default.
- W1836149488 hasConcept C189790780 @default.
- W1836149488 hasConcept C199360897 @default.
- W1836149488 hasConcept C203659156 @default.
- W1836149488 hasConcept C2524010 @default.
- W1836149488 hasConcept C2777796570 @default.
- W1836149488 hasConcept C33923547 @default.
- W1836149488 hasConcept C3845977 @default.
- W1836149488 hasConcept C41008148 @default.
- W1836149488 hasConcept C62520636 @default.
- W1836149488 hasConcept C80444323 @default.
- W1836149488 hasConceptScore W1836149488C102993220 @default.
- W1836149488 hasConceptScore W1836149488C108710211 @default.
- W1836149488 hasConceptScore W1836149488C114092440 @default.
- W1836149488 hasConceptScore W1836149488C121332964 @default.
- W1836149488 hasConceptScore W1836149488C128838566 @default.
- W1836149488 hasConceptScore W1836149488C154945302 @default.
- W1836149488 hasConceptScore W1836149488C159032336 @default.
- W1836149488 hasConceptScore W1836149488C160236029 @default.
- W1836149488 hasConceptScore W1836149488C165801399 @default.
- W1836149488 hasConceptScore W1836149488C169896238 @default.
- W1836149488 hasConceptScore W1836149488C172385210 @default.
- W1836149488 hasConceptScore W1836149488C189790780 @default.
- W1836149488 hasConceptScore W1836149488C199360897 @default.
- W1836149488 hasConceptScore W1836149488C203659156 @default.
- W1836149488 hasConceptScore W1836149488C2524010 @default.
- W1836149488 hasConceptScore W1836149488C2777796570 @default.
- W1836149488 hasConceptScore W1836149488C33923547 @default.
- W1836149488 hasConceptScore W1836149488C3845977 @default.
- W1836149488 hasConceptScore W1836149488C41008148 @default.
- W1836149488 hasConceptScore W1836149488C62520636 @default.
- W1836149488 hasConceptScore W1836149488C80444323 @default.
- W1836149488 hasLocation W18361494881 @default.
- W1836149488 hasOpenAccess W1836149488 @default.
- W1836149488 hasPrimaryLocation W18361494881 @default.
- W1836149488 hasRelatedWork W1483545604 @default.
- W1836149488 hasRelatedWork W1489615098 @default.
- W1836149488 hasRelatedWork W1507732441 @default.
- W1836149488 hasRelatedWork W1510315745 @default.
- W1836149488 hasRelatedWork W1522082107 @default.
- W1836149488 hasRelatedWork W1539798371 @default.
- W1836149488 hasRelatedWork W1549653765 @default.
- W1836149488 hasRelatedWork W1586012806 @default.
- W1836149488 hasRelatedWork W1599587354 @default.
- W1836149488 hasRelatedWork W1607346335 @default.
- W1836149488 hasRelatedWork W1672891595 @default.
- W1836149488 hasRelatedWork W1891972172 @default.
- W1836149488 hasRelatedWork W1898423558 @default.
- W1836149488 hasRelatedWork W1937160721 @default.
- W1836149488 hasRelatedWork W1992602851 @default.
- W1836149488 hasRelatedWork W2006013694 @default.
- W1836149488 hasRelatedWork W2105631606 @default.
- W1836149488 hasRelatedWork W2124627636 @default.
- W1836149488 hasRelatedWork W2488916437 @default.
- W1836149488 hasRelatedWork W2972694183 @default.
- W1836149488 isParatext "false" @default.
- W1836149488 isRetracted "false" @default.
- W1836149488 magId "1836149488" @default.
- W1836149488 workType "book" @default.