Results 111 to 120 of about 570,700 (231)

aspps --- an implementation of answer-set programming with propositional schemata

, 2001
Deborah East. Miroslaw Truszczynski
openalex   +2 more sources

User Armor: An Extension for AppArmor

Algorithms
AppArmor is a mandatory access control (MAC) system for Linux based on profiles. It focuses on protecting processes, without differentiating profiles based on the users running the processes themselves.
Mario Alviano, Pierpaolo Sestito
doaj   +1 more source

Propositional satisfiability in answer-set programming

, 2001
Deborah East, Mirosław Truszczyński
openalex   +2 more sources

Answer Set Programming without Unstratified Negation [PDF]

, 2008
Ilkka Niemelä
openalex   +1 more source

Applying Answer Set Programming for Knowledge-Based Link Prediction on Social Interaction Networks. [PDF]

Front Big Data, 2019
Güven Ç, Atzmueller M.
europepmc   +1 more source

Evaluating Usability and Accessibility of Visual Programming Tools for Novice Programmers—The Case of App Inventor, Scratch, and StarLogo

Applied Sciences
The current state of the labor market requires modern engineers to acquire programming skills at different levels of advancement and to apply them in multidisciplinary environments.
Kamil Żyła, Kinga Chwaleba, Dominik Choma   +2 more
doaj   +1 more source

A semantic framework for preference handling in answer set programming

, 2003
Torsten Schaub, Kewen Wang
openalex   +2 more sources

From answer set logic programming to circumscription via logic of GK [PDF]

, 2010
Fangzhen Lin, Yi Zhou
openalex   +1 more source

An Answer Set Programming Encoding of Prioritized Removed Sets Revision: Application to GIS

, 2004
Jonathan Ben-Naim, Salem Benferhat, Odile Papini, Éric Würbel   +3 more
openalex   +2 more sources

Catching the Ouroboros: On debugging non-ground answer-set programs [PDF]

, 2010
Johannes Oetsch, Jörg Pührer, Hans Tompits   +2 more
openalex   +1 more source