Results 11 to 20 of about 27,800 (166)
Logic + probabilistic programming + causal laws
Royal Society Open Science, 2023 Probabilistic planning attempts to incorporate stochastic models directly into the planning process, which is the problem of synthesizing a sequence of actions that achieves some objective for a putative agent.
Vaishak Belle
doaj +1 more source
Description logic programs [PDF]
Proceedings of the twelfth international conference on World Wide Web - WWW '03, 2003 We show how to interoperate, semantically and inferentially, between the leading Semantic Web approaches to rules (RuleML Logic Programs) and ontologies (OWL/DAML+OIL Description Logic) via analyzing their expressive intersection. To do so, we define a new intermediate knowledge representation (KR) contained within this intersection: Description Logic ...
Benjamin N. Grosof +3 more
openaire +3 more sources
Logic programming as a service [PDF]
Theory and Practice of Logic Programming, 2018 AbstractNew generations of distributed systems are opening novel perspectives for logic programming (LP): On the one hand, service-oriented architectures represent nowadays the standard approach for distributed systems engineering; on the other hand, pervasive systems mandate for situated intelligence.
CALEGARI, ROBERTA +3 more
openaire +5 more sources
2P-Kt: A logic-based ecosystem for symbolic AI
SoftwareX, 2021 To date, logic-based technologies are either built on top or as extensions of the Prolog language, mostly working as monolithic solutions tailored upon specific inference procedures, unification mechanisms, or knowledge representation techniques. Instead,
Giovanni Ciatto +2 more
doaj +1 more source
Logic programming and constraint logic programming [PDF]
ACM Computing Surveys, 1996 Logic programming is a language paradigm based on logic, more specifically on resolution theorem proving in the predicate calculus as proposed in Robinson [1965]. Robinson had the foresight to distinguish the importance of two components in automatic theorem proving: a single inference rule called resolution and the testing for equality of trees called
openaire +1 more source
PENGENALAN LOGIKA MEMBUAT PROGRAM GAME PADA ANAK-ANAK DENGAN MENGGUNAKAN APLIKASI SCRATCH
Pena Dimas, 2023 Gaming is currently a game that both children and adults are very interested in. If not anticipated as early as possible, these games can become addictive or dependent.
Muhammad Sholeh +2 more
doaj +1 more source
Bialgebraic Semantics for Logic Programming [PDF]
Logical Methods in Computer Science, 2015 Bialgebrae provide an abstract framework encompassing the semantics of different kinds of computational models. In this paper we propose a bialgebraic approach to the semantics of logic programming.
Filippo Bonchi, Fabio Zanasi
doaj +1 more source
A belief revision approach for argumentation-based negotiation agents
International Journal of Applied Mathematics and Computer Science, 2015 Negotiation is an interaction that happens in multi-agent systems when agents have conflicting objectives and must look for an acceptable agreement. A typical negotiating situation involves two agents that cannot reach their goals by themselves because ...
Pilotti Pablo +2 more
doaj +1 more source
Logic programming revisited [PDF]
ACM Transactions on Computational Logic, 2001 Logic programming has been introduced as programming in the Horn clause subset of first-order logic. This view breaks down for the negation as failure inference rule. To overcome the problem, one line of research has been to view a logic program as a set of iff-definitions.
Denecker, Marc +2 more
openaire +1 more source
A History of Probabilistic Inductive Logic Programming
Frontiers in Robotics and AI, 2014 The field of Probabilistic Logic Programming (PLP) has seen significant advances in the last 20 years, with many proposals for languages that combine probability with logic programming.
Fabrizio eRiguzzi +2 more
doaj +1 more source