Search results
From MaRDI portal
- mardi4nfdi.de/entity/Q5750391 1988-01-01 Paper Negation as failure. II 1985-01-01 Paper Negation as failure: a comparison of Clark's completed data base...10 bytes (19 words) - 00:10, 9 December 2023
- 1990-01-01 Paper On the relationship between circumscription and negation as failure 1989-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3829537 1989-01-01...10 bytes (17 words) - 15:33, 8 December 2023
- On the relationship between circumscription and negation as failure 1989-01-01 Paper Negation as failure: careful closure procedure 1986-01-01 Paper https://portal...10 bytes (16 words) - 09:45, 24 September 2023
- entity-relationship approach 1997-02-27 Paper The Prolog not-predicate and negation as failure rule 1990-01-01 Paper An improved third normal form for relational...10 bytes (17 words) - 16:53, 9 December 2023
- Publication Date of Publication Type Negation as failure. Completeness of the query evaluation process for Horn clause programs with recursive definitions...10 bytes (16 words) - 10:08, 24 September 2023
- Publication Date of Publication Type Negation as failure. Completeness of the query evaluation process for Horn clause programs with recursive definitions...10 bytes (16 words) - 10:08, 24 September 2023
- Publication Date of Publication Type Negation as failure for disjunctive logic programming 1994-01-01 Paper...10 bytes (19 words) - 23:43, 24 September 2023
- Publication Date of Publication Type The consistency of negation as failure 1986-01-01 Paper...10 bytes (16 words) - 12:21, 14 March 2024
- Publication Date of Publication Type General failure of logic programs 1985-01-01 Paper Negation-as-failure rule for general logic programs with equality...10 bytes (19 words) - 02:51, 28 December 2023
- 2020-08-25 Paper Representing Defaults and Negative Information Without Negation-as-Failure 2008-05-27 Paper...10 bytes (18 words) - 22:45, 27 December 2023
- Paper https://portal.mardi4nfdi.de/entity/Q3201746 1989-01-01 Paper Negation as failure. Completeness of the query evaluation process for Horn clause programs...10 bytes (16 words) - 03:23, 9 December 2023
- of functional and algebraic equational reasoning 2000-03-23 Paper Negation as failure as resolution 1999-06-21 Paper https://portal.mardi4nfdi.de/entity/Q4036554...10 bytes (16 words) - 13:06, 24 September 2023
- uncertainty 2017-07-12 Paper Description logics of minimal knowledge and negation as failure 2017-06-13 Paper https://portal.mardi4nfdi.de/entity/Q5740438 2016-07-26...10 bytes (17 words) - 09:58, 25 September 2023
- circumscription 2017-12-04 Paper Description logics of minimal knowledge and negation as failure 2017-06-13 Paper A Unified Framework for Non-standard Reasoning Services...10 bytes (19 words) - 06:43, 13 December 2023
- uncertainty 2017-07-12 Paper Description logics of minimal knowledge and negation as failure 2017-06-13 Paper The complexity of existential quantification in concept...10 bytes (17 words) - 06:43, 13 December 2023
- 2011-11-22 Paper Handling Exceptions in Logic Programming without Negation as Failure 2011-06-29 Paper Expressing Extension-Based Semantics Based on Stratified...10 bytes (18 words) - 04:15, 13 December 2023
- https://portal.mardi4nfdi.de/entity/Q4246975 2000-01-12 Paper Combining negation as failure and embedded implications in logic programs 1999-03-07 Paper A modal...10 bytes (17 words) - 14:35, 11 December 2023
- a hidden bottleneck in sublogarithmic algorithms 1989-01-01 Paper Negation as failure using tight derivations for general logic programs 1989-01-01 Paper...10 bytes (18 words) - 14:54, 8 December 2023
- and querying multimedia presentations 2000-01-01 Paper Extending negation as failure by abduction: A three-valued stable model semantics 1997-05-28 Paper...10 bytes (18 words) - 20:33, 24 September 2023
- Paper https://portal.mardi4nfdi.de/entity/Q4251068 1999-11-29 Paper Negation as failure as resolution 1999-06-21 Paper...10 bytes (17 words) - 22:53, 21 September 2023
