A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Constraint Logic Programming for Hedges: A Semantic Reconstruction
[chapter]
2014
Lecture Notes in Computer Science
Preserved Fulltext
We describe the semantics of CLP(H): constraint logic programming over hedges. ...
We give algebraic semantics of CLP(H) programs, define a sound, terminating, and incomplete constraint solver, and describe some fragments of constraints for which the solver returns a complete set of ...
The goal of this paper is to describe a precise semantics of constraint logic programs over hedges. ...
doi:10.1007/978-3-319-07151-0_18
fatcat:24gdrgyzmnfpvn2yvg5qhvrle4
Transformation of XML Documents with Prolog
[article]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Prolog as a programming language of declarative paradigm is especially good for implementation of analysis of formal languages. ...
In this report an appropriate model for XML documents is proposed, the basic transformation language for Prolog LTL is defined and the expressiveness power compared with XSL-T is demonstrated, the implementations ...
Nevertheless a logical approach must injure referential transparency due unifying terms. Side effects and predicates constrain semantics to be denoted not in a functional but in a predicative style. ...
arXiv:1906.08361v1
fatcat:hcefmjkxofamrawsot4f37tws4
PARTHENOS D3.1 Guidelines for Common Policies Implementation (1)
2017
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Another interesting point would have been to ask how the logical structure of a data collection is documented and if it is possible to reconstruct this logic from zero. ...
allowing data-reuse some organizations developed a plan for reviewing tools and programming languages. ...
doi:10.5281/zenodo.2668392
fatcat:fzty4vo4c5ctdcyno7hgip2zgq
On Understanding Understanding. Perception-Based Processing of NL Texts in SCIP Systems, or Meaning Constitution as Visualized Learning
2004
IEEE Transactions on Systems Man and Cybernetics Part C (Applications and Reviews)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Thus, the symbolic (de)composition of propositional structures in traditional semantics is complemented by SCIP, which models learning and understanding dynamically by visualizing what is understood in ...
All errors are, as always, my own. 1 The implementation of the SCIP system-environment testbed is due to my PhD-students, Christoph Flores and Daniel John, whose design and programming proficiencies are ...
TABLE V V REFERENCE SEMANTICS FOR HEDGED CORE PREDICATES.
Fig. 8. ...
doi:10.1109/tsmcc.2004.833293
fatcat:dk4lhju475em5i37wbu5hmzth4
Narrowing Down XML Template Expansion and Schema Validation
[article]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Other Versions
Requirements for an unification are elaborated and a comparison is taken out. ...
Instantiation shows a universal gap in applications, for instance, as seen by XSLT. ...
Denotational Semantics. also known as functional semantics, denotes the functional behaviour for a given program. ...
arXiv:1912.10816v2
fatcat:mbz4sp4egbar7ceysa7qu4vkru
Foundations of fuzzy reasoning
1976
International Journal of Man-Machine Studies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Thefuzzification of mathematical structures leads naturally to the concepts of fuzzy logics and inference, and consideration of implication suggests Lukasiewicz infinite-valued logic as a base logic for ...
In particular it reviews the philosophical and logical antecedents and foundations for this theory and its applications. ...
For example, an ELIZA-type program (Weizenbaum, 1967) , could recognize the key word "very" and have reconstruction rules that allowed: which enriches the conversation somewhat! ...
doi:10.1016/s0020-7373(76)80027-2
fatcat:x4gxxshdubdvtplgfrgq4poiqu
XML Static Analyzer User Manual
[article]
2008
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
A logical formula may for instance express structural constraints or navigation properties (like e.g. path existence and node selection) in finite trees. ...
It provides informal documentation for using the XML reasoning solver implementation. The solver allows automated verification of properties that are expressed as logical formulas over trees. ...
Syntax of Logical Formulas Modal Formulas for Navigating in Trees The logic uses two programs for navigating in binary trees: the program 1 allows to navigate from a node down to its first successor and ...
arXiv:0812.3550v1
fatcat:fbritpe7nzefbktz5zovi2xuoq
Working on the argument pipeline: Through flow issues between natural language argument, instantiated arguments, and argumentation frameworks
2016
Argument & Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Yet, unlike the logical contradiction [P ∧ ¬P] of Propositional Logic, non-logical constraints must be independently given in the knowledge base. ...
What are the conditions on semantic well-formedness for the rules provided to the knowledge base? What makes a set of statements semantically cohere as premises of a claim? ...
doi:10.3233/aac-160002
fatcat:r7mwly5l5vda3bhbpuxmd7mi2u
Mixed Integer Programming, General Concept Inclusions and Fuzzy Description Logics
2007
European Society for Fuzzy Logic and Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
In this paper, we address this issue and develop a calculus for fuzzy DLs with GCIs under various semantics: classical logic, "Zadeh semantics", and Łukasiewicz logic. ...
In [23] , a solution based on Mixed Integer Linear Programming has been proposed to deal with fuzzy DLs under Łukasiewicz semantics in which typical membership functions, such as triangular and trapezoidal ...
Acknowledgement Fernando Bobillo holds a FPU scholarship from the Spanish Ministerio de Educación y Ciencia. ...
dblp:conf/eusflat/StracciaB07
fatcat:2a5sgqxyfrdkrafxjj7lpuq6gi
Formal Epistemology and the New Paradigm Psychology of Reasoning
2013
Review of Philosophy and Psychology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
It also identifies the issue of updating on conditionals as an area which seems to call for a combined formal and empirical approach. ...
This paper presents a new interdisciplinary research program which involves both formal and experimental work. ...
The authors thank two anonymous reviewers and PaulÉgré for useful comments. ...
doi:10.1007/s13164-013-0165-0
fatcat:5lpwhd7sg5acddjxrakmlk4zrq
Semiotic Cognitive Information Processing: Learning to Understand Discourse. A Systemic Model of Meaning Constitution
[chapter]
2003
Adaptivity and Learning
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
What in the sequel we shall refer to as situation semantics theory (SST) is concerned with the development of a theory of information content or situated logic [11] which accounts for the constraints ...
By these explicit declarations, a formal framework is laid not only for the theoretical but also for the empirical reconstruction. ...
doi:10.1007/978-3-662-05594-6_24
fatcat:skuxniknavfqfftwsezssmoz2e
A logic meta-programming foundation for example-driven pattern detection in object-oriented programs
2011
2011 27th IEEE International Conference on Software Maintenance (ICSM)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
A logic of quantified truth provides the theoretical foundation for this ranking. ...
Unique to our matching process is that it incorporates whole-program analyses in its comparison of individual program elements. A semantic analysis ensures correctness. ...
IntelliJ's Structural Search and Replace feature [Mos05] ) to constraint solving for patterns specified as a set of constraints (e.g. PTIDEJ [Gué03] ). ...
doi:10.1109/icsm.2011.6080830
dblp:conf/icsm/Roover11
fatcat:mtzy44ethrchdmtnkoqjcwiray
Pragmatics and philosophy: In search of a paradigm
2018
Intercultural Pragmatics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
In the introductory part I attempt to bring some order into the diversity of use of such labels as philosophical logic, philosophical semantics, philosophical pragmatics, linguistic philosophy, or philosophy ...
and, relatedly,What are the future prospects for pragmaticsPPL in theories of natural language meaning? ...
But, as I said, this is a topic for another occasion. syntax, as in the Montagovian program. ...
doi:10.1515/ip-2018-0002
fatcat:jkfhtfwa3vbb3d6m2hkv6m5nnu
GOLOG: A logic programming language for dynamic domains
1997
The Journal of Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
D This paper proposes a new logic programming language called GOLOG whose interpreter automatically maintains an explicit representation of the dynamic world being modeled, on the basis of user supplied ...
The net effect is that programs may be written at a much higher level of abstraction than is usually possible. ...
Next, we define a situation calculus semantics for programs involving (recursive) procedures. ...
doi:10.1016/s0743-1066(96)00121-5
fatcat:4fn7qhkw7veuvlewbnexmutizq
The red herring and the pet fish: why concepts still can't be prototypes
1996
Cognition
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
We use italics for names of semantic interpretations (as in "the concept COW expresses the property of being a cow". ...
Fax: 908 445 0634. 1 A word on notation: we use capitals for names of concepts (as in "the concept COW". ...
So the program of using supervaluation theory to construct a semantics of vagueness that preserves the logical truths fails. . ...
doi:10.1016/0010-0277(95)00694-x
pmid:8820389
fatcat:iocm23pburdzxorwdr3ctalttm
« Previous
Showing results 1 — 15 out of 1,326 results