2067 search results - page 165 / 414 » Logics of propositional control |
142
click to vote
SEMWIKI
2008
15 years 3 months ago
2008
AceWiki is a prototype that shows how a semantic wiki using controlled natural language -- Attempto Controlled English (ACE) in our case -- can make ontology management easy for ev...
119
click to vote
CADE
2009
Springer
16 years 2 months ago
2009
Springer
We present a new calculus for first-order theorem proving with equality, ME+Sup, which generalizes both the Superposition calculus and the Model Evolution calculus (with equality)...
107
click to vote
WOLLIC
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Database design aims to find a database schema that permits the efficient processing of common types of queries and updates on future database instances. Full first-ord...
133
click to vote
ICAIL
2009
ACM
15 years 8 months ago
2009
ACM
In this paper coherence-based models are proposed as an alternative to logic-based BDI and argumentation models for the reasoning of normative agents. A model is provided for how t...
106
click to vote
TASE
2008
IEEE
15 years 8 months ago
2008
IEEE
We present a thorough study of Propositional Dynamic Logic over a variation of labeled transition systems, called accelerated labelled transition systems, which are transition sys...