1151 search results - page 82 / 231 » Collaborative Programming: Applications of Logic and Automat... |
140
Voted
DEON
2008
Springer
15 years 5 months ago
2008
Springer
The security policy of an information system may include a wide range of different requirements. The literature has primarily focused on access and information flow control require...
115
Voted
LPNMR
2005
Springer
15 years 9 months ago
2005
Springer
ID-logic uses ideas from the field of logic programming to extend second order logic with non-monotone inductive defintions. In this work, we reformulate the semantics of this lo...
134
click to vote
LPKR
1997
Springer
15 years 7 months ago
1997
Springer
In this overview we show how Knowledge Representation (KR) can be done with the help of generalized logic programs. We start by introducing the core of PROLOG, which is based on de...
132
Voted
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
After informally reviewing the main concepts from game semantics and placing the development of the field in a historical context we examine its main applications. We focus in pa...
112
Voted
FM
2009
Springer
15 years 10 months ago
2009
Springer
Verification methods for memory-manipulating C programs need to address not only well-typed programs that respect invariants such as the split heap memory model, but also programs...