Results 151 to 160 of about 6,452,641 (347)
A multi-paradigm approach for mobile agents development
Journal of Computer Science and Technology, 2001 Mobile agent systems have received important attention in the last years as a new programming paradigm for widely distributed and heterogeneous systems.
Edgardo A. Belloni
doaj
Two results for proiritized logic programming [PDF]
arXiv, 2002 Prioritized default reasoning has illustrated its rich expressiveness and flexibility in knowledge representation and reasoning. However, many important aspects of prioritized default reasoning have yet to be thoroughly explored. In this paper, we investigate two properties of prioritized logic programs in the context of answer set semantics ...
arxiv
An abstract machine based execution model for computer architecture design and efficient implementation of logic programs in parallel. [PDF]
, 1986 Manuel V. Hermenegildo
openalex +1 more source
Advanced Optical Materials, EarlyView.Picosecond spin current pulses generated by ferrimagnetic GdCo are studied via THz emission spectroscopy. Due to the GdCo micromagnetic structure, the spin current vanishes at compensation when a magnetic field is applied but persists for zero field. At room temperature, the THz spin current is dominated by Co. At low temperatures, Gd can significantly
Guillermo Nava Antonio +10 more
wiley +1 more source
onto2problog: A Probabilistic Ontology-Mediated Querying System using Probabilistic Logic Programming. [PDF]
Kunstliche Intell (Oldenbourg), 2020 van Bremen T, Dries A, Jung JC.
europepmc +1 more source
Proving real-time properties of programs with temporal logic [PDF]
, 1981 Arthur Bernstein, Paul K. Harter
openalex +1 more source
Advanced Theory and Simulations, EarlyView.This study presents a wave propagation‐based optimization strategy for asymmetric double‐layer Au gratings to improve infrared polarization selectivity. A logic‐based method efficiently determines single‐wavelength structures through analytical modeling, while a learning‐based approach utilizing an explainable neural network enables broadband ...
Ryuna Kang +4 more
wiley +1 more source
ALPES: an advanced logic programming environment
Le Matematiche, 1988 This paper introduces a software programming environment for an extended Prolog language, called ALPES. The purpose of ALPES is to enable a logic programming paradigm to become a software engineering tool to design, develop and prototype traditional ...
Cristina Ruggieri
doaj
Weight prioritized slicing based on constraint logic programming for fault localization. [PDF]
PLoS One, 2020 Ren S, Zhou W, Zhou H, Xia L.
europepmc +1 more source
The treatment of negation in logic programs for representing legislation [PDF]
, 1989 Robert Kowalski
openalex +1 more source