374 search results - page 9 / 75 » Modular Semantics and Logics of Classes |
132
Voted
FOSSACS
2008
Springer
15 years 4 months ago
2008
Springer
Coalgebras provide a uniform framework for the semantics of a large class of (mostly non-normal) modal logics, including e.g. monotone modal logic, probabilistic and graded modal l...
113
Voted
ISMVL
2007
IEEE
15 years 9 months ago
2007
IEEE
Paraconsistent logic is the study of contradictory yet non-trivial theories. One of the best-known approaches to designing useful paraconsistent logics is da Costa’s approach, w...
130
click to vote
CADE
2004
Springer
15 years 8 months ago
2004
Springer
The paper presents a modular superposition calculus for the combination of first-order theories involving both total and partial functions. Modularity means that inferences are pu...
105
Voted
LPNMR
2009
Springer
15 years 10 months ago
2009
Springer
Modular nonmonotonic logic programs (MLPs) under the answer-set semantics have been recently introduced as an ASP formalism in which modules can receive context-dependent input fro...
125
Voted
WCRE
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—The principles and best practices of object oriented design require that modules in a program should match logical decomposition of the knowledge that the program implem...