Old Web
English
Sign In
Acemap
>
Paper
>
Rational default logic and disjunctive logic programming
Rational default logic and disjunctive logic programming
1993
Artur Mikitiuk
Mirosław Truszczyński
Keywords:
Logic programming
Default logic
Algorithm
Computational logic
Computer science
Philosophy of logic
Predicate functor logic
Dynamic logic (modal logic)
Horn clause
Many-valued logic
Functional logic programming
Theoretical computer science
Programming language
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
27
Citations
NaN
KQI
[]