2688 search results - page 117 / 538 » A formal semantics for P3P |
159
click to vote
IJCAI
2003
15 years 7 months ago
2003
Disjunctive Logic Programming (DLP) is a very expressive formalism: it allows to express every property of finite structures that is decidable in the complexity class ¡£¢¤ (...
158
click to vote
KCAP
2005
ACM
15 years 12 months ago
2005
ACM
For decades, researchers in knowledge representation (KR) have argued for and against various choices in KR formalisms, such as Rules, Frames, Semantic nets, and Formal logic. In ...
148
click to vote
FM
2005
Springer
15 years 12 months ago
2005
Springer
In formal design, decoupling means to make the features of a formal system as independent as possible from each other. Decoupling tends to make the features semantically more primi...
165
click to vote
AAAI
2006
15 years 7 months ago
2006
The Situation Calculus and the Fluent Calculus are successful action formalisms that share many concepts. But until now there is no formal relation between the two calculi that wo...
156
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
KAOS is a goal directed requirements engineering framework based on the decomposition and refinement of goals. Decomposition and refinement continue until a point is reached at ...