2688 search results - page 304 / 538 » A formal semantics for P3P |
185
click to vote
ICAIL
2005
ACM
16 years 6 days ago
2005
ACM
Computational law is an approach to automated legal reasoning focusing on semantically rich laws, regulations, contract terms, and business rules in the context of electronicallym...
175
Voted
ICTAC
2005
Springer
16 years 5 days ago
2005
Springer
Rewriting logic is a simple computational logic very well suited as a semantic framework within which many different models of computation, systems and languages can be naturally ...
183
click to vote
LACL
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. This paper introduces a novel approach to language processing, in which linguistic facts are represented as predicates over ranges of the intput text, usually, but not li...
175
click to vote
LPNMR
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Nested logic programs and epistemic logic programs are two important extensions of answer set programming. However, the relationship between these two formalisms is rarel...
179
click to vote
OTM
2005
Springer
16 years 4 days ago
2005
Springer
Model-driven Architecture (MDA) is a software architecture framework proposed by the Object Management Group OMG. MDA emphasises the importance of modelling in the architectural de...