Results 31 to 40 of about 150,993 (319)
ZASADA PRAWDY FORMALNEJ W POLSKIM CYWILNYM PRAWIE PROCESOWYM A ROZUMOWANIA NIEMONOTONICZNE
Zeszyty Prawnicze, 2016 The Principle of Formal Truth in the Polish Civil Procedural Law and Non-monotonic Reasoning Summary This paper analyses the implementation of the formal truth principle in the Polish civil procedural code in the light of non-monotonic reasoning.
Marcin Trepczyński
doaj +1 more source
Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach
, 2007 Matchmaking arises when supply and demand meet in an electronic marketplace, or when agents search for a web service to perform some task, or even when recruiting agencies match curricula and job profiles.
Tommaso Di Noia +2 more
openalex +4 more sources
Компьютерная оптика, 2020 A 6f-scheme of Fourier holography with resonant architecture is considered, which implements memory replenishment with new information that contradicts the previously recorded. It is shown that the low-frequency attenuation due to the nonlinearity of the
A.V. Pavlov
doaj +1 more source
Non-monotonic reasoning with logic programming
The Journal of Logic Programming, 1993 Summary: Our purpose is to exhibit a modular systematic method of representing non-monotonic reasoning problems with the Well Founded Semantics WFS of extended logic programs augmented with eXplicit negation (WFSX), augmented by its Contradiction Removal Semantics (CRSX) when needed.
Pereira, Luís Moniz +2 more
openaire +2 more sources
Abduction and Dialogical Proof in Argumentation and Logic Programming [PDF]
, 2014 We develop a model of abduction in abstract argumentation, where changes to an argumentation framework act as hypotheses to explain the support of an observation. We present dialogical proof theories for the main decision problems (i.e., finding hypothe-
Booth, Richard +4 more
core +3 more sources
On the Strong Equivalences of LPMLN Programs [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 By incorporating the methods of Answer Set Programming (ASP) and Markov Logic Networks (MLN), LPMLN becomes a powerful tool for non-monotonic, inconsistent and uncertain knowledge representation and reasoning.
Bin Wang +3 more
doaj +1 more source
IEEE Access, 2020 Stochastic computing (SC) has been applied on the implementations of complex arithmetic functions. Complicated polynomial-based approximations lead to large hardware complexity of previous SC circuits for arithmetic functions.
Zidi Qin +6 more
doaj +1 more source
Interpreting a Classical Geometric Proof with Interactive Realizability [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 We show how to extract a monotonic learning algorithm from a classical proof of a geometric statement by interpreting the proof by means of interactive realizability, a realizability sematics for classical logic. The statement is about the existence of a
Giovanni Birolo
doaj +1 more source
Mathematics, 2020 This paper relates two interesting paradigms in fuzzy logic programming from a semantical approach: core fuzzy answer set programming and multi-adjoint normal logic programming.
M. Eugenia Cornejo +2 more
doaj +1 more source
BigData Applications from Graph Analytics to Machine Learning by Aggregates in Recursion [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 In the past, the semantic issues raised by the non-monotonic nature of aggregates often prevented their use in the recursive statements of logic programs and deductive databases. However, the recently introduced notion of Pre-mappability (PreM) has shown
Ariyam Das +4 more
doaj +1 more source