Cerca risorse accademiche

Materie / parole chiave: JONG, WILLEM REMMELT DE; D. REIDEL; 121.68 J79s

Defeasible Logic Programming (DeLP) is a suitable tool for knowledge representation and reasoning. Its operational semantics is based on a dialectical analysis where arguments for and against a literal interact in order ...

Modeling is one of the most crucial activities during all the phases in any software development life cycle. Typically, system development is a very complex task, and working with models helps to handle this complexity i...

Constraints add to the semantics to UML models in the form of statements which are expected to hold for the model to be considered correct, i.e., to satisfy system requirements. Constraints are considered in the UML met...

Statecharts and Duration Calculus are two formalisms used in the development of reactive systems. Statecharts provide a powerful visual formalism to specify systems. Duration Calculus is a formal logic to specify and rea...

A successful visualization allows the user to gain insight into the data in an effective way. Even with today’s visualization systems that give the user a considerable control over the visualization process, it can be ...

This thesis defines Defeasible Logic Programming and provides a concrete specification of this new language through its operational semantics. Defeasible Logic Programming, or DeLP for short, has been defined based on th...

Defeasible argumentation is one of the approaches that attempt to address the challenges arising when we reason defeasibly, with several formalisms in the literature reaching a mature state. Nowadays, several of them sta...

Materie / parole chiave: typology of categories and units, semiotics and semantics of sign systems, semantics of sign systems, semiotics of sign systems, functional and comparative semantics, symbolic and communicative paradigms of language and ...

Natural language understanding systems require a knowledge base provided with formal representations reflecting the structure of human beings' cognitive system. Although surface semantics can be sufficient in some other ...

The long-standing view that idioms are formally and thus also semantically fixed has been challenged and many studies have shown that idioms are indeed flexible both structurally and semantically to varying degrees. We o...

Este texto describe el contexto teórico y clínico de la terapia lingüística de evaluación, desarrollada por la autora a partir de la teoría de la Semántica General de A. Korzybski. Sus elementos principales se rel...

English linguistics is the scientific study of the English language, encompassing its structure, use, and evolution. The most traditional branches of study are phonetics and phonology, morphology, syntax, and semantics. ...

This book contributes to the field of pragmatic variation in World Englishes by analysing the pragmatic markers 'kind of' and 'sort of'. After a general review of their history and current use, the book offers a contrast...

While there is broad consensus about the structural similarities between language and music, comparably less attention has been devoted to semantic correspondences between these two ubiquitous manifestations of human cul...

Frontostriatal networks play critical roles in grounding action semantics and syntactic skills. Indeed, their atrophy distinctively disrupts both domains, as observed in patients with Huntington's disease (HD) and Parkin...

In this work, we develop a game-theoretic framework in which pro and con arguments are put forward. This framework intends to capture winning strategies for different defense criteria. In turn, each possible extension se...

Probabilistic transition system specifications (PTSS) provide structural operational semantics for reactive probabilistic labeled transition systems. Bisimulation equivalences and bisimulation metrics are fundamental not...

A morphemic-indicational description of English but (and French mais) is proposed, showing that the uses of but whose closer equivalents (and French translation) are almost, except, only, and without, together with the c...

Abstract Counterfactuals have become an important area of interdisciplinary interest, especially in logic, philosophy of language, epistemology, metaphysics, psychology, decision theory, and even artificial intelligence....

In this brief note, I offer some considerations to the effect of arguing (i) that Duffley's criticism to formal semantics is based on a dogma about the proper nature of the linguistic sing, and (ii) that, even when I agr...

A logical framework is presented to model legal interpretation and bring an appropriate construction of legal arguments. Reasoning with assumptions allows the construction of hypotheses. This is proposed in the context o...

This paper investigates what the semantics of generic sentences in Brazilian Portuguese (BP) says about the denotation of Noun Phrases in that language. More specifically, it addresses the syntactic and semantic differen...

ABSTRACT This paper addresses the challenge of analysing texts for ideational grammatical metaphor. It undertakes this task from the perspective of recent work on field (Doran & Martin in press) and discourse semantics (...