Si mostrano 100 riferimenti a partire da 1 |

Per ulteriori informazioni selezionare i riferimenti di interesse.

- Middelburg, CA

Variable binding operators in transition system specifications*JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING*

- Och, R; Osborne, RM; Todd, J; King, R

The COIL data mediator definition language*CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE*

- von Oheimb, D

Hoare logic for Java in Isabelle/HOL*CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE*

- Li, T; Liu, XJ

The denotation semantics of NIPL*ACM SIGPLAN NOTICES*

- Malsch, T

Naming the unnamable: Socionics or the sociological turn of/to distributedartificial intelligence*AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS*

- Agius, HW; Angelides, MC

Modeling content for semantic-level querying of multimedia*MULTIMEDIA TOOLS AND APPLICATIONS*

- Goonetilleke, RS; Shih, HM; On, HK; Fritsch, J

Effects of training and representational characteristics in icon design*INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES*

- Mauro, G; Tagliaferro, G; Montini, M; Zanolla, L

Diffusion model of pain language and quality of life in orofacial pain patients*JOURNAL OF OROFACIAL PAIN*

- Wang, HQ; Jiang, CJ; Liao, SY

Concurrent reasoning of fuzzy logical Petri nets based on multi-task schedule*IEEE TRANSACTIONS ON FUZZY SYSTEMS*

- van der Schaft, AJ; Schumacher, JM

Compositionality issues in discrete, continuous, and hybrid systems*INTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL*

- Tip, F; Dinesh, TB

A slicing-based approach for locating type errors*ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY*

- De Oliveira, MCF; Turine, MAS; Masiero, PC

A statechart-based model for hypermedia applications*ACM TRANSACTIONS ON INFORMATION SYSTEMS*

- Frolund, S; Guerraoui, R

Implementing e-Transactions with asynchronous replication*IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS*

- You, JH; Wang, XC; Yuan, LY

Nonmonotonic reasoning as prioritized argumentation*IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING*

- Lakshmanan, LVS; Shiri, N

A parametric approach to deductive databases with uncertainty*IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING*

- Dubois, D; Prade, H; Sedes, F

Fuzzy logic techniques in multimedia database querying: A preliminary investigation of the potentials*IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING*

- Ying, MS

Fuzzy topology based on residuated lattice-valued logic*ACTA MATHEMATICA SINICA-ENGLISH SERIES*

- Christensen, CB

Escape from Twin Earth: Putnam's 'logic' of natural kind terms*INTERNATIONAL JOURNAL OF PHILOSOPHICAL STUDIES*

- Steinhauer, K; Pancheva, R; Newman, AJ; Gennari, S; Ullman, MT

How the mass counts: An electrophysiological approach to the processing oflexical features*NEUROREPORT*

- Palsberg, J; Pavlopoulou, C

From polyvariant flow information to intersection and union types*JOURNAL OF FUNCTIONAL PROGRAMMING*

- Irwin, RJ; Royer, JS; Kapron, BM

On characterizations of the basic feasible functionals, Part I*JOURNAL OF FUNCTIONAL PROGRAMMING*

- Pulvermuller, F; Assadollahi, R; Elbert, T

Neuromagnetic evidence for early semantic access in word recognition*EUROPEAN JOURNAL OF NEUROSCIENCE*

- Bernardeschi, C; De Francesco, N; Vaglini, G

An approach to system design based on P/T net simulation*INFORMATION AND SOFTWARE TECHNOLOGY*

- Dunbar, G

Towards a cognitive analysis of polysemy, ambiguity, and vagueness*COGNITIVE LINGUISTICS*

- Lee, S; Hwang, CS; Yu, H

Revisiting transaction management in multidatabase systems*DISTRIBUTED AND PARALLEL DATABASES*

- Hahne, A; Jescheniak, JD

What's left if the Jabberwock gets the semantics? An ERP investigation into semantic and syntactic processes during auditory comprehension*COGNITIVE BRAIN RESEARCH*

- Lebrun, N; Clochon, P; Etevenon, P; Lambert, J; Baron, JC; Eustache, F

An ERD mapping study of the neurocognitive processes involved in the perceptual and semantic analysis of environmental sounds and words*COGNITIVE BRAIN RESEARCH*

- Kalay, YE

Enhancing multi-disciplinary collaboration through semantically rich representation*AUTOMATION IN CONSTRUCTION*

- Wang, KW; Zhou, LZ

An extension to GCWA and query evaluation for disjunctive deductive databases*JOURNAL OF INTELLIGENT INFORMATION SYSTEMS*

- Raman, I; Baluch, B

Semantic effects as a function of reading skill in word naming of a transparent orthography*READING AND WRITING*

- Baldan, P; Corradini, A; Montanari, U

Contextual Petri nets, asymmetric event structures, and processes*INFORMATION AND COMPUTATION*

- Bruni, R; Meseguer, J; Montanari, U; Sassone, V

Functorial models for Petri nets*INFORMATION AND COMPUTATION*

- Rensink, A; Gorrieri, R

Vertical implementation*INFORMATION AND COMPUTATION*

- Comini, M; Levi, G; Meo, MC

A theory of observables for logic programs*INFORMATION AND COMPUTATION*

- Attali, I; Caromel, D; Chen, YS; Gaudiot, JL; Wendelborn, AL

Enhancing functional and irregular parallelism: Stateful functions and their semantics*INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING*

- Nantajeewarawat, E; Wuwongse, V

Defeasible inheritance through specialization*COMPUTATIONAL INTELLIGENCE*

- Klein, DE; Murphy, GL

The representation of polysemous words*JOURNAL OF MEMORY AND LANGUAGE*

- Serafini, S; Steury, K; Richards, T; Corina, D; Abbott, R; Dager, SR; Berninger, V

Comparison of fMRI and PEPSI during language processing in children*MAGNETIC RESONANCE IN MEDICINE*

- Goddard, C

Sabar, ikhlas, setia - patient, sincere, loyal? Contrastive semantics of some 'virtues' in Malay and English*JOURNAL OF PRAGMATICS*

- Chapman, S

In defence of a code: Linguistic meaning and propositionality in verbal communication*JOURNAL OF PRAGMATICS*

- Schwartz, DG; Te'eni, D

Intelligent agent behavior based on organizational image theory*KYBERNETES*

- Owei, V; Navathe, SB

Enriching the conceptual basis for query formulation through relationship semantics in databases*INFORMATION SYSTEMS*

- Balasubramanian, V; Bieber, M; Isakowitz, T

A case study in systematic hypermedia design*INFORMATION SYSTEMS*

- Corradini, F; Ferrari, G; Pistore, M

On the semantics of durational actions*THEORETICAL COMPUTER SCIENCE*

- Quaglia, P

Explicit substitutions for pi-congruences*THEORETICAL COMPUTER SCIENCE*

- Tini, S

An axiomatic semantics for Esterel*THEORETICAL COMPUTER SCIENCE*

- Lago, JM; Artalejo, MR

A declarative framework for object-oriented programming with genetic inheritance*THEORETICAL COMPUTER SCIENCE*

- Boreale, M; De Nicola, R; Pugliese, R

Divergence in testing and readiness semantics*THEORETICAL COMPUTER SCIENCE*

- Yamasaki, S; Kurose, Y

A sound and complete procedure for a general logic program in non-floundering derivations with respect to the 3-valued stable model semantics*THEORETICAL COMPUTER SCIENCE*

- Pucella, R; Panangaden, P

On the expressive power of first-order boolean functions in PCF*THEORETICAL COMPUTER SCIENCE*

- Fournet, C; Laneve, C

Bisimulations in the join-calculus*THEORETICAL COMPUTER SCIENCE*

- Riely, J; Hennessy, M

Distributed processes and location failures*THEORETICAL COMPUTER SCIENCE*

- Majster-Cederbaum, ME

Underspecification for a simple process algebra of recursive processes*THEORETICAL COMPUTER SCIENCE*

- Cirstea, C

Semantic constructions for the specification of objects*THEORETICAL COMPUTER SCIENCE*

- Corradini, A; Grosse-Rhode, M; Heckel, R

A Coalgebraic presentation of structured transition systems*THEORETICAL COMPUTER SCIENCE*

- van Breugel, F

An Introduction to metric semantics: operational and denotational models for programming and specification languages*THEORETICAL COMPUTER SCIENCE*

- Broy, M; Stefanescu, G

The algebra of stream processing functions*THEORETICAL COMPUTER SCIENCE*

- Resende, P

Quantales, finite observations and strong bisimulation*THEORETICAL COMPUTER SCIENCE*

- Chen, XJ; De Nicola, R

Algebraic characterizations of trace and decorated trace equivalences overtree-like structures*THEORETICAL COMPUTER SCIENCE*

- Sagonas, K; Swift, T; Warren, DS

The limits of fixed-order computation*THEORETICAL COMPUTER SCIENCE*

- Katoen, JP; Baier, C; Latella, D

Metric semantics for true concurrent real time*THEORETICAL COMPUTER SCIENCE*

- Thomsen, B; Abramsky, S

A fully abstract denotational semantics for the calculus of higher-order communicating systems*THEORETICAL COMPUTER SCIENCE*

- Panangaden, P

Measure and probability for concurrency theorists*THEORETICAL COMPUTER SCIENCE*

- Gergatsoulis, M; Rondogiannis, P; Panayiotopoulos, T

Temporal disjunctive logic programming*NEW GENERATION COMPUTING*

- Takarae, Y; Levin, DT

Animals and artifacts may not be treated equally: Differentiating strong and weak forms of category-specific visual agnosia*BRAIN AND COGNITION*

- Cato, MA; Moore, AB; Crosson, B

Elucidation of semantic organization in the brain using functional neuroimaging: A review*TOPICS IN LANGUAGE DISORDERS*

- Stenning, K; Lemon, O

Aligning logical and psychological perspectives on diagrammatic reasoning*ARTIFICIAL INTELLIGENCE REVIEW*

- Usher, M

A statistical referential theory of content: Using information theory to account for misrepresentation*MIND & LANGUAGE*

- Liu, CC; Orgun, MA; Zhang, K

A parallel execution model for Chronolog*COMPUTER SYSTEMS SCIENCE AND ENGINEERING*

- Garrard, P; Ralph, MAL; Hodges, JR; Patterson, K

Prototypicality, distinctiveness, and intercorrelation: Analyses of the semantic attributes of living and nonliving concepts*COGNITIVE NEUROPSYCHOLOGY*

- Laiacona, M; Capitani, E

A case of prevailing deficit of nonliving categories or a case of prevailing sparing of living categories?*COGNITIVE NEUROPSYCHOLOGY*

- Obeid, N

On the connection between normal default reasoning and conditional logic*COMPUTERS AND ARTIFICIAL INTELLIGENCE*

- Obeid, N

On the connection between normal default reasoning and conditional logic*COMPUTING AND INFORMATICS*

- Koning, JL; Oudeyer, PY

Introduction to POS: A protocol operational semantics*INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS*

- Couso, I; Montes, S; Gil, P

The necessity of the strong alpha-cuts of a fuzzy set*INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS*

- Chainbi, W; Ben-Hamadou, A; Jmaiel, M

A belief-goal-role theory for multiagent systems*INTERNATIONAL JOURNAL OF PATTERN RECOGNITION AND ARTIFICIAL INTELLIGENCE*

- Ferguson, KG

Semantic and structural problems in evolutionary ethics*BIOLOGY & PHILOSOPHY*

- Baillot, P; Pedicini, M

Elementary complexity and geometry of interaction*FUNDAMENTA INFORMATICAE*

- Balaban, M; Eyal, A

DFL - a dialog based integration of concept and rule reasoners*DATA & KNOWLEDGE ENGINEERING*

- Johnson, CA

Constructing interpretations of deductive databases using reduction and dynamic stratification*DATA & KNOWLEDGE ENGINEERING*

- Owei, V; Navathe, S

A formal basis for an abbreviated concept-based query language*DATA & KNOWLEDGE ENGINEERING*

- Sakai, KL; Hashimoto, R; Homae, F

Sentence processing in the cerebral cortex*NEUROSCIENCE RESEARCH*

- Bucciarelli, A; Ehrhard, T

On phase semantics and denotational semantics: the exponentials*ANNALS OF PURE AND APPLIED LOGIC*

- Dix, J; Osorio, M; Zepeda, C

A general theory of confluent rewriting systems for logic programming and its applications*ANNALS OF PURE AND APPLIED LOGIC*

- Hamano, M

Z-modules and full completeness of multiplicative linear logic*ANNALS OF PURE AND APPLIED LOGIC*

- Massam, D

Pseudo Noun Incorporation in Niuean*NATURAL LANGUAGE & LINGUISTIC THEORY*

- Janicki, R; Khedri, R

On a formal semantics of tabular expressions*SCIENCE OF COMPUTER PROGRAMMING*

- De Swart, H

Weak readings of indefinites: Type-shifting and closure*LINGUISTIC REVIEW*

- Sossai, C; Bison, P; Chemello, G

Sequent calculus and data fusion*FUZZY SETS AND SYSTEMS*

- Pynko, AP

Fuzzy semantics for multiple-conclusion sequential calculi with structuralrules*FUZZY SETS AND SYSTEMS*

- Bistarelli, S; Montanari, U; Rossi, F

Semiring-based Constraint Logic Programming: Syntax and semantics*ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS*

- Fankhauser, P

XQuery formal semantics state and challenges*SIGMOD RECORD*

- Lindstromberg, S

Preposition entries in UK monolingual learners' dictionaries: Problems andpossible solutions*APPLIED LINGUISTICS*

- Krishnamurthy, EV; Krishnamurthy, V

Quantum field theory and computational paradigms*INTERNATIONAL JOURNAL OF MODERN PHYSICS C*

- Nottegar, C; Priami, C; Degano, P

Performance evaluation of mobile processes via abstract machines*IEEE TRANSACTIONS ON SOFTWARE ENGINEERING*

- Pulvermuller, F; Harle, M; Hummel, F

Walking or talking?: Behavioral and neurophysiological correlates of action verb processing*BRAIN AND LANGUAGE*

- Schulz, P; Wymann, K; Penner, Z

The early acquisition of verb meaning in German by normally developing andlanguage impaired children*BRAIN AND LANGUAGE*

- Bird, H; Howard, D; Franklin, S

Noun-verb differences? A question of semantics: A response to Shapiro and Caramazza*BRAIN AND LANGUAGE*

- Hahne, A

What's different in second-language processing? Evidence from event-related brain potentials*JOURNAL OF PSYCHOLINGUISTIC RESEARCH*

- Newman, AJ; Pancheva, R; Ozawa, K; Neville, HJ; Ullman, MT

An event-related fMRI study of syntactic and semantic violations*JOURNAL OF PSYCHOLINGUISTIC RESEARCH*

ASDD Area Sistemi Dipartimentali e Documentali, Università di Bologna, Catalogo delle riviste ed altri periodici

Documento generato il 28/10/20 alle ore 04:51:31