Search results

Articles (6)

Journals (0)

1-6 of 6 results for fixpoint procedure

Sort by:

Relevance

Select all

Sort by:

Relevance

Available accessResearch articleFirst published May, 2005

Semi-Inflationary DATALOG: A declarative database language with procedural features

Antonella Guzzo, Domenico Saccà

The European Journal on Artificial Intelligence

Available accessResearch articleFirst published April, 2014

Reasoning with vagueness in hybrid MKNF knowledge bases

Shasha Huang, Qingguo Li

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted accessResearch articleFirst published June, 1994

SEMANTICS FOR DISJUNCTIVE LOGIC PROGRAMS WITH EXPLICIT AND DEFAULT NEGATION

Jack Minker, Carolina Ruiz

Fundamenta Informaticae

Retricted accessResearch articleFirst published February, 1998

O!-LOLA – Extending the Deductive Database System LOLA by Object-Oriented Logic Programming

Günther Specht

Informatica: An International Journal of Computing and Informatics

Available accessResearch articleFirst published 2020

Partial (Neighbourhood) Singleton Arc Consistency for Constraint Satisfaction Problems

Richard J. Wallace

Fundamenta Informaticae

Available accessResearch articleFirst published May, 2015

SAC and neighbourhood SAC

Richard J. Wallace

The European Journal on Artificial Intelligence

Search results

Articles (6)

Journals (0)

1-6 of 6 results for fixpoint procedure

Sort by:

Relevance

Select all

Sort by:

Relevance

Available accessResearch articleFirst published May, 2005

Semi-Inflationary DATALOG: A declarative database language with procedural features

Antonella Guzzo, Domenico Saccà

The European Journal on Artificial Intelligence

Available accessResearch articleFirst published April, 2014

Reasoning with vagueness in hybrid MKNF knowledge bases

Shasha Huang, Qingguo Li

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted accessResearch articleFirst published June, 1994

SEMANTICS FOR DISJUNCTIVE LOGIC PROGRAMS WITH EXPLICIT AND DEFAULT NEGATION

Jack Minker, Carolina Ruiz

Fundamenta Informaticae

Retricted accessResearch articleFirst published February, 1998

O!-LOLA – Extending the Deductive Database System LOLA by Object-Oriented Logic Programming

Günther Specht

Informatica: An International Journal of Computing and Informatics

Available accessResearch articleFirst published 2020

Partial (Neighbourhood) Singleton Arc Consistency for Constraint Satisfaction Problems

Richard J. Wallace

Fundamenta Informaticae

Available accessResearch articleFirst published May, 2015

SAC and neighbourhood SAC

Richard J. Wallace

The European Journal on Artificial Intelligence