Filters








1,326 Hits in 5.3 sec

Constraint Logic Programming for Hedges: A Semantic Reconstruction [chapter]

Besik Dundua, Mário Florido, Temur Kutsia, Mircea Marin
2014 Lecture Notes in Computer Science  
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]

René Haberland, Igor L. Bratchikov
2019 arXiv   pre-print
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)

Hella Hollander, Francesca Morselli, Femmy Admiraal, Anders Conrad, Thorsten Trippel, Douwe Zeldenrust, Paola Ronzino, Sara Di Giorgio, Antonio Davide Madonna, Mark Hedges
2017 Zenodo  
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

B.B. Rieger
2004 IEEE Transactions on Systems Man and Cybernetics Part C (Applications and Reviews)  
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]

René Haberland
2021 arXiv   pre-print
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

B.R. Gaines
1976 International Journal of Man-Machine Studies  
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]

Pierre Geneves, Nabil Layaida
2008 arXiv   pre-print
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

Adam Wyner, Tom van Engers, Anthony Hunter, Floriana Grasso, Floris Bex, Nancy Green
2016 Argument & Computation  
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

Umberto Straccia, Fernando Bobillo
2007 European Society for Fuzzy Logic and Technology  
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

Niki Pfeifer, Igor Douven
2013 Review of Philosophy and Psychology  
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]

Burghard B. Rieger
2003 Adaptivity and Learning  
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

Coen De Roover
2011 2011 27th IEEE International Conference on Software Maintenance (ICSM)  
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

Kasia M. Jaszczolt
2018 Intercultural Pragmatics  
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

Hector J. Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, Richard B. Scherl
1997 The Journal of Logic Programming  
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

Jerry Fodor, Ernest Lepore
1996 Cognition  
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