Sciweavers

3845 search results - page 240 / 769
» Belief Logic Programming
Sort
View
138
Voted
TOCL
2010
73views more  TOCL 2010»
15 years 5 months ago
FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols
Thomas Eiter, Mantas Simkus
177
Voted
AMAST
2010
Springer
15 years 2 months ago
Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming
Ekaterina Komendantskaya, Guy McCusker, John Power
IJSSE
2011
127views more  IJSSE 2011»
15 years 2 months 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