Sciweavers

10871 search results - page 231 / 2175
» A stable programming language
Sort
View
IJSSE
2011
127views more  IJSSE 2011»
15 years 13 hour ago
A Formal Language for XML Authorisations Based on Answer Set Programming and Temporal Interval Logic Constraints
The Extensible Markup Language is susceptible to security breaches because it does not incorporate methods to protect the information it encodes. Our work presented in this paper f...
Sean Policarpio, Yan Zhang
ASP
2001
Springer
15 years 9 months ago
Genes and Ants for Default Logic
Default Logic and Logic Programming with stable model semantics are recognized as powerful frameworks for incomplete information representation. Their expressive power are suitabl...
Pascal Nicolas, Frédéric Saubion, Ig...
139
Voted
AI
1998
Springer
15 years 4 months ago
Applications of the Situation Calculus to Formalizing Control and Strategic Information: The Prolog Cut Operator
We argue that the situation calculus is a natural formalism for representing and reasoning about control and strategic information. As a case study, in this paper we provide a sit...
Fangzhen Lin
109
Voted
GPCE
2004
Springer
15 years 10 months ago
Metaphor: A Multi-stage, Object-Oriented Programming Language
Gregory Neverov, Paul Roe