Results 51 to 60 of about 27,800 (166)
Legislation as logic programs [PDF]
, 1992 The linguistic style in which legislation is normally written has many similarities with the language of logic programming. However, examples of legal language taken from the British Nationality Act 1981, the University of Michigan lease termination clause, and the London Underground emergency notice suggest several ways in which the basic model of ...
openaire +1 more source
Theory and Practice of Logic Programming, 2003 To appear in Special Issue of the Theory and Practice of Logic Programming Journal on Answer Set Programming ...
Esra Erdem 0001, Vladimir Lifschitz
openaire +2 more sources
From Logic to Functional Logic Programs
Theory and Practice of Logic Programming, 2022 AbstractLogic programming is a flexible programming paradigm due to the use of predicates without a fixed data flow. To extend logic languages with the compact notation of functional programming, there are various proposals to map evaluable functions into predicates in order to stay in the logic programming framework. Since amalgamated functional logic
openaire +2 more sources
Meta-analysis of the functional neuroimaging literature with probabilistic logic programming. [PDF]
Sci Rep, 2022 Abdallah M +3 more
europepmc +1 more source
Using the Fuzzy Logic in Assessing the Programming Performance of Students
International Journal of Assessment Tools in Education, 2018 The overall objective of this study is to understandhow the fuzzy logic theory can be used in measuring the programming performanceof the undergraduate students, as well as proving the advantages of using fuzzylogic in evaluation of students’ performance.
Ozan Şenkal, Nihan Arslan Namlı
doaj +1 more source
The Journal of Logic Programming, 1993 Summary: We present a model for distributed logic programming based on AND- parallelism and on explicit message-passing primitives. The communication mechanism is inspired by \textit{R. Milner}'s CCS [Lect. Notes Comput. Sci. 92 (1980; Zbl 0452.68027)].
BROGI, ANTONIO, R. Gorrieri
openaire +3 more sources
Research on formal description and verification of automated trust negotiation
Tongxin xuebao, 2011 First,a unified ATN formal framework was presented,into which typical negotiation strategies could be reduced.Second,the formal verification of ATN was defined based on the formal framework.The objectives and procedures of the formal verification of ATN ...
GUAN Shang-yuan 1 +3 more
doaj +2 more sources
A Hybrid Method for the Modelling and Optimisation of Constrained Search Problems
Foundations of Management, 2014 The paper presents a concept and the outline of the implementation of a hybrid approach to modelling and solving constrained problems. Two environments of mathematical programming (in particular, integer programming) and declarative programming (in ...
Sitek Pawel, Wikarek Jaroslaw
doaj +1 more source
Teaching Artificial Intelligence and Logic Programming in a Competitive Environment
Informatics in Education, 2009 Motivation plays a key role in the learning process. This paper describes an experience in the context of undergraduate teaching of Artificial Intelligence at the Computer Science Department of the Faculty of Sciences in the University of Porto.
Pedro RIBEIRO +2 more
doaj +1 more source
A logical foundation for logic programming II: Semantics of general logic programs
The Journal of Logic Programming, 1998 Summary: We suggested in Part I [ibid. 35, No. 2, 151-170 (1998; Zbl 0905.68032)] of this study a general logical formalism for logic programming based on a four-valued inference. In this paper, we give a uniform representation of various semantics for logic programs based on this formalism.
openaire +2 more sources