112 search results - page 6 / 23 » Game semantics for first-order logic |
CSL
2009
Springer
15 years 1 months ago
2009
Springer
We introduce tree-width for first order formulae , fotw(). We show that computing fotw is fixed-parameter tractable with parameter fotw. Moreover, we show that on classes of formul...
107
click to vote
AAAI
1990
14 years 11 months ago
1990
Since knowledge bases (KBs) are usually incomplete, they should be able to provide information regarding their own incompleteness, which requires them to introspect on what they k...
102
click to vote
FLAIRS
2008
15 years 2 days ago
2008
One of the major weaknesses of current research on the Semantic Web (SW) is the lack of proper means to represent and reason with uncertainty. A number of recent efforts from the ...
MST
2008
14 years 9 months ago
2008
Subtyping in first order object calculi is studied with respect to the logical semantics obtained by identifying terms that satisfy the same set of predicates, as formalised throu...
238
click to vote
Book
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.