Sciweavers

808 search results - page 50 / 162
» What Is Answer Set Programming
Sort
View
PADL
2010
Springer
14 years 5 months ago
Implementing Query Answering for Hybrid MKNF Knowledge Bases
Abstract. Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rule...
Ana Sofia Gomes, José Júlio Alferes,...
LPNMR
2005
Springer
14 years 2 months ago
Nested Epistemic Logic Programs
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...
Kewen Wang, Yan Zhang
LPNMR
2009
Springer
14 years 3 months ago
Simple Random Logic Programs
We consider random logic programs with two-literal rules and study their properties. In particular, we obtain results on the probability that random “sparse” and “dense” pr...
Gayathri Namasivayam, Miroslaw Truszczynski
BIRTHDAY
2010
Springer
13 years 10 months ago
Thirteen Definitions of a Stable Model
Stable models of logic programs have been studied by many researchers, mainly because of their role in the foundations of answer set programming. This is a review of some of the de...
Vladimir Lifschitz
HICSS
2003
IEEE
90views Biometrics» more  HICSS 2003»
14 years 2 months ago
Enterprise Wide Development - A Survey of Critical Factors for Co-Ordinated Development in Complex Organizations: What Developme
This paper describes critical factors for co-ordinated enterprise and IS/IT development and change in complex organizations in Sweden. These factors represent an answer on the cru...
Magnus Holmqvist, Håkan Enquist