Many dynamic languages are implemented using traditional interpreters because
implementing just-in-time (JIT) compilers for them is too complex. This limits their …

The main idea of the logic programming approach to the intelligent video surveillance is in
using a first order logic for describing complex events and abstract concepts like anomalous …

Most Prolog implementations are implemented in low-level languages such as C and are
based on a variation of the WAM instruction set, which enhances their performance but …

Actor Prolog is a concurrent object-oriented logic language developed in [1]. We
demonstrate a state-of-the-art translator of Actor Prolog to Java developed in the framework …

Propositional satisfiability (SAT) has attracted considerable attention recently in both
Computer Science and Artificial Intelligence, and a lot of algorithms have been developed …

Network-based system requires us to implement both a client-side and server-side program.
The update of a client-side program involves the update of a server-side program, and vise …

Research in the area of context-awareness has recently been revolutionized by the rapid
development of mobile devices like smart phones and tablets, which became omnipresent in …

Modern software often relies on the modular combination of several software subsystems,
for instance rule-based subsystems for decision support, verification or knowledge …

Business specifications–that formerly only supported IT development–increasingly become
business configurations in the form of rules that can be loaded directly into IT solutions …

The idea of the logic programming-based approach to the intelligent visual surveillance is in
usage of logical rules for description and analysis of people behavior. New prospects in …