|
Register a new Area
|
Register a new Society
|
|
|
|
IFCoLog Main Page
|
[an error occurred while processing this directive]
Description Logics
|
One of the main effort of the research in knowledge representation is providing theories and systems for expressing structured knowledge and for accessing and reasoning with it in a principled way. Description Logics are a class knowledge representation formalisms unifying and giving a logical basis to the well known traditions of Frame-based systems, Semantic Networks and KL-ONE-like languages, Object-Oriented representations, Semantic data models, and Type systems. The research on Description Logics covers theoretical aspects, implementation of knowledge representation systems, and the realization of applications by means of such systems in various areas.
.
|
Automated Deduction
|
.
|
Logic Programming
|
.
|
Reasoning about Actions and Change
|
.
|
Multiple-Valued Logic
|
Multiple-valued logic (synonymous with many-valued logic) is the study of theory and application of logics, where the classical truth values "true" and "false" are replaced or extended with finitely or infinitely many values. Topics of research include technical realization of circuits that exploit more than two voltage levels, fuzzy logic, algebraic aspects, philosophical aspects, inference, and diagnosis.
.
|
Automata and Temporal Logic
|
.
|
Category Theory and Logic
|
.
|
Commonsense and Nonmonotonic Reasoning
|
.
|
Concurrency Calculi and Tools
|
.
|
Constraint Programming
|
.
|
Finite Model Theory and Complexity of Logical Theories
|
.
|
Formal Methods and Verification
|
.
|
Functional Programming and Lambda Calculus
|
.
|
Logic and Machine Learning
|
.
|
Logic and Philosophy
|
.
|
Logical Aspects of Databases
|
.
|
Logics of Uncertainty
|
.
|
Modal, Temporal, Dynamic and Epistemic Logics
|
.
|
Model Checking
|
.
|
Model Theory
|
.
|
Program Specification
|
.
|
Proof Theory
|
.
|
Term Rewriting Systems
|
.
|
Type Theory and Logical Frameworks
|
.
|
[an error occurred while processing this directive]
|
Only Members can add new Areas. Get your password
from our office:
|
e-mail us if you have any questions.
|
