Go to main content
Formats
Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS
Cite
Citation

Linked e-resources

Details

Belief revision
Answer set programming
Argumentation
Probabilistic reasoning
Handling inconsistencies
Temporal logics and planning
Description logics
Decidability and complexity results.

Browse Subjects

Show more subjects...

Statistics

from
to
Export