Catalogo Articoli (Spogli Riviste)

HELP
ATTENZIONE: attualmente gli articoli Current Contents (fonte ISI) a partire dall'anno 2002 sono consultabili sulla Risorsa On-Line

Le informazioni sugli articoli di fonte ISI sono coperte da copyright

La ricerca find articoli where soggetti phrase all words 'SEMANTICS' sort by level,fasc_key/DESCEND, pagina_ini_num/ASCEND ha restituito 999 riferimenti
Si mostrano 100 riferimenti a partire da 1
Selezionare un intervallo

Per ulteriori informazioni selezionare i riferimenti di interesse.

    1. Middelburg, CA
      Variable binding operators in transition system specifications

      JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING
    2. Och, R; Osborne, RM; Todd, J; King, R
      The COIL data mediator definition language

      CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE
    3. von Oheimb, D
      Hoare logic for Java in Isabelle/HOL

      CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE
    4. Li, T; Liu, XJ
      The denotation semantics of NIPL

      ACM SIGPLAN NOTICES
    5. Malsch, T
      Naming the unnamable: Socionics or the sociological turn of/to distributedartificial intelligence

      AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS
    6. Agius, HW; Angelides, MC
      Modeling content for semantic-level querying of multimedia

      MULTIMEDIA TOOLS AND APPLICATIONS
    7. Goonetilleke, RS; Shih, HM; On, HK; Fritsch, J
      Effects of training and representational characteristics in icon design

      INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES
    8. 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
    9. Wang, HQ; Jiang, CJ; Liao, SY
      Concurrent reasoning of fuzzy logical Petri nets based on multi-task schedule

      IEEE TRANSACTIONS ON FUZZY SYSTEMS
    10. van der Schaft, AJ; Schumacher, JM
      Compositionality issues in discrete, continuous, and hybrid systems

      INTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL
    11. Tip, F; Dinesh, TB
      A slicing-based approach for locating type errors

      ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
    12. De Oliveira, MCF; Turine, MAS; Masiero, PC
      A statechart-based model for hypermedia applications

      ACM TRANSACTIONS ON INFORMATION SYSTEMS
    13. Frolund, S; Guerraoui, R
      Implementing e-Transactions with asynchronous replication

      IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS
    14. You, JH; Wang, XC; Yuan, LY
      Nonmonotonic reasoning as prioritized argumentation

      IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING
    15. Lakshmanan, LVS; Shiri, N
      A parametric approach to deductive databases with uncertainty

      IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING
    16. 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
    17. Ying, MS
      Fuzzy topology based on residuated lattice-valued logic

      ACTA MATHEMATICA SINICA-ENGLISH SERIES
    18. Christensen, CB
      Escape from Twin Earth: Putnam's 'logic' of natural kind terms

      INTERNATIONAL JOURNAL OF PHILOSOPHICAL STUDIES
    19. Steinhauer, K; Pancheva, R; Newman, AJ; Gennari, S; Ullman, MT
      How the mass counts: An electrophysiological approach to the processing oflexical features

      NEUROREPORT
    20. Palsberg, J; Pavlopoulou, C
      From polyvariant flow information to intersection and union types

      JOURNAL OF FUNCTIONAL PROGRAMMING
    21. Irwin, RJ; Royer, JS; Kapron, BM
      On characterizations of the basic feasible functionals, Part I

      JOURNAL OF FUNCTIONAL PROGRAMMING
    22. Pulvermuller, F; Assadollahi, R; Elbert, T
      Neuromagnetic evidence for early semantic access in word recognition

      EUROPEAN JOURNAL OF NEUROSCIENCE
    23. Bernardeschi, C; De Francesco, N; Vaglini, G
      An approach to system design based on P/T net simulation

      INFORMATION AND SOFTWARE TECHNOLOGY
    24. Dunbar, G
      Towards a cognitive analysis of polysemy, ambiguity, and vagueness

      COGNITIVE LINGUISTICS
    25. Lee, S; Hwang, CS; Yu, H
      Revisiting transaction management in multidatabase systems

      DISTRIBUTED AND PARALLEL DATABASES
    26. 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
    27. 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
    28. Kalay, YE
      Enhancing multi-disciplinary collaboration through semantically rich representation

      AUTOMATION IN CONSTRUCTION
    29. Wang, KW; Zhou, LZ
      An extension to GCWA and query evaluation for disjunctive deductive databases

      JOURNAL OF INTELLIGENT INFORMATION SYSTEMS
    30. Raman, I; Baluch, B
      Semantic effects as a function of reading skill in word naming of a transparent orthography

      READING AND WRITING
    31. Baldan, P; Corradini, A; Montanari, U
      Contextual Petri nets, asymmetric event structures, and processes

      INFORMATION AND COMPUTATION
    32. Bruni, R; Meseguer, J; Montanari, U; Sassone, V
      Functorial models for Petri nets

      INFORMATION AND COMPUTATION
    33. Rensink, A; Gorrieri, R
      Vertical implementation

      INFORMATION AND COMPUTATION
    34. Comini, M; Levi, G; Meo, MC
      A theory of observables for logic programs

      INFORMATION AND COMPUTATION
    35. 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
    36. Nantajeewarawat, E; Wuwongse, V
      Defeasible inheritance through specialization

      COMPUTATIONAL INTELLIGENCE
    37. Klein, DE; Murphy, GL
      The representation of polysemous words

      JOURNAL OF MEMORY AND LANGUAGE
    38. 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
    39. Goddard, C
      Sabar, ikhlas, setia - patient, sincere, loyal? Contrastive semantics of some 'virtues' in Malay and English

      JOURNAL OF PRAGMATICS
    40. Chapman, S
      In defence of a code: Linguistic meaning and propositionality in verbal communication

      JOURNAL OF PRAGMATICS
    41. Schwartz, DG; Te'eni, D
      Intelligent agent behavior based on organizational image theory

      KYBERNETES
    42. Owei, V; Navathe, SB
      Enriching the conceptual basis for query formulation through relationship semantics in databases

      INFORMATION SYSTEMS
    43. Balasubramanian, V; Bieber, M; Isakowitz, T
      A case study in systematic hypermedia design

      INFORMATION SYSTEMS
    44. Corradini, F; Ferrari, G; Pistore, M
      On the semantics of durational actions

      THEORETICAL COMPUTER SCIENCE
    45. Quaglia, P
      Explicit substitutions for pi-congruences

      THEORETICAL COMPUTER SCIENCE
    46. Tini, S
      An axiomatic semantics for Esterel

      THEORETICAL COMPUTER SCIENCE
    47. Lago, JM; Artalejo, MR
      A declarative framework for object-oriented programming with genetic inheritance

      THEORETICAL COMPUTER SCIENCE
    48. Boreale, M; De Nicola, R; Pugliese, R
      Divergence in testing and readiness semantics

      THEORETICAL COMPUTER SCIENCE
    49. 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
    50. Pucella, R; Panangaden, P
      On the expressive power of first-order boolean functions in PCF

      THEORETICAL COMPUTER SCIENCE
    51. Fournet, C; Laneve, C
      Bisimulations in the join-calculus

      THEORETICAL COMPUTER SCIENCE
    52. Riely, J; Hennessy, M
      Distributed processes and location failures

      THEORETICAL COMPUTER SCIENCE
    53. Majster-Cederbaum, ME
      Underspecification for a simple process algebra of recursive processes

      THEORETICAL COMPUTER SCIENCE
    54. Cirstea, C
      Semantic constructions for the specification of objects

      THEORETICAL COMPUTER SCIENCE
    55. Corradini, A; Grosse-Rhode, M; Heckel, R
      A Coalgebraic presentation of structured transition systems

      THEORETICAL COMPUTER SCIENCE
    56. van Breugel, F
      An Introduction to metric semantics: operational and denotational models for programming and specification languages

      THEORETICAL COMPUTER SCIENCE
    57. Broy, M; Stefanescu, G
      The algebra of stream processing functions

      THEORETICAL COMPUTER SCIENCE
    58. Resende, P
      Quantales, finite observations and strong bisimulation

      THEORETICAL COMPUTER SCIENCE
    59. Chen, XJ; De Nicola, R
      Algebraic characterizations of trace and decorated trace equivalences overtree-like structures

      THEORETICAL COMPUTER SCIENCE
    60. Sagonas, K; Swift, T; Warren, DS
      The limits of fixed-order computation

      THEORETICAL COMPUTER SCIENCE
    61. Katoen, JP; Baier, C; Latella, D
      Metric semantics for true concurrent real time

      THEORETICAL COMPUTER SCIENCE
    62. Thomsen, B; Abramsky, S
      A fully abstract denotational semantics for the calculus of higher-order communicating systems

      THEORETICAL COMPUTER SCIENCE
    63. Panangaden, P
      Measure and probability for concurrency theorists

      THEORETICAL COMPUTER SCIENCE
    64. Gergatsoulis, M; Rondogiannis, P; Panayiotopoulos, T
      Temporal disjunctive logic programming

      NEW GENERATION COMPUTING
    65. 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
    66. Cato, MA; Moore, AB; Crosson, B
      Elucidation of semantic organization in the brain using functional neuroimaging: A review

      TOPICS IN LANGUAGE DISORDERS
    67. Stenning, K; Lemon, O
      Aligning logical and psychological perspectives on diagrammatic reasoning

      ARTIFICIAL INTELLIGENCE REVIEW
    68. Usher, M
      A statistical referential theory of content: Using information theory to account for misrepresentation

      MIND & LANGUAGE
    69. Liu, CC; Orgun, MA; Zhang, K
      A parallel execution model for Chronolog

      COMPUTER SYSTEMS SCIENCE AND ENGINEERING
    70. Garrard, P; Ralph, MAL; Hodges, JR; Patterson, K
      Prototypicality, distinctiveness, and intercorrelation: Analyses of the semantic attributes of living and nonliving concepts

      COGNITIVE NEUROPSYCHOLOGY
    71. Laiacona, M; Capitani, E
      A case of prevailing deficit of nonliving categories or a case of prevailing sparing of living categories?

      COGNITIVE NEUROPSYCHOLOGY
    72. Obeid, N
      On the connection between normal default reasoning and conditional logic

      COMPUTERS AND ARTIFICIAL INTELLIGENCE
    73. Obeid, N
      On the connection between normal default reasoning and conditional logic

      COMPUTING AND INFORMATICS
    74. Koning, JL; Oudeyer, PY
      Introduction to POS: A protocol operational semantics

      INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS
    75. 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
    76. Chainbi, W; Ben-Hamadou, A; Jmaiel, M
      A belief-goal-role theory for multiagent systems

      INTERNATIONAL JOURNAL OF PATTERN RECOGNITION AND ARTIFICIAL INTELLIGENCE
    77. Ferguson, KG
      Semantic and structural problems in evolutionary ethics

      BIOLOGY & PHILOSOPHY
    78. Baillot, P; Pedicini, M
      Elementary complexity and geometry of interaction

      FUNDAMENTA INFORMATICAE
    79. Balaban, M; Eyal, A
      DFL - a dialog based integration of concept and rule reasoners

      DATA & KNOWLEDGE ENGINEERING
    80. Johnson, CA
      Constructing interpretations of deductive databases using reduction and dynamic stratification

      DATA & KNOWLEDGE ENGINEERING
    81. Owei, V; Navathe, S
      A formal basis for an abbreviated concept-based query language

      DATA & KNOWLEDGE ENGINEERING
    82. Sakai, KL; Hashimoto, R; Homae, F
      Sentence processing in the cerebral cortex

      NEUROSCIENCE RESEARCH
    83. Bucciarelli, A; Ehrhard, T
      On phase semantics and denotational semantics: the exponentials

      ANNALS OF PURE AND APPLIED LOGIC
    84. 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
    85. Hamano, M
      Z-modules and full completeness of multiplicative linear logic

      ANNALS OF PURE AND APPLIED LOGIC
    86. Massam, D
      Pseudo Noun Incorporation in Niuean

      NATURAL LANGUAGE & LINGUISTIC THEORY
    87. Janicki, R; Khedri, R
      On a formal semantics of tabular expressions

      SCIENCE OF COMPUTER PROGRAMMING
    88. De Swart, H
      Weak readings of indefinites: Type-shifting and closure

      LINGUISTIC REVIEW
    89. Sossai, C; Bison, P; Chemello, G
      Sequent calculus and data fusion

      FUZZY SETS AND SYSTEMS
    90. Pynko, AP
      Fuzzy semantics for multiple-conclusion sequential calculi with structuralrules

      FUZZY SETS AND SYSTEMS
    91. Bistarelli, S; Montanari, U; Rossi, F
      Semiring-based Constraint Logic Programming: Syntax and semantics

      ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
    92. Fankhauser, P
      XQuery formal semantics state and challenges

      SIGMOD RECORD
    93. Lindstromberg, S
      Preposition entries in UK monolingual learners' dictionaries: Problems andpossible solutions

      APPLIED LINGUISTICS
    94. Krishnamurthy, EV; Krishnamurthy, V
      Quantum field theory and computational paradigms

      INTERNATIONAL JOURNAL OF MODERN PHYSICS C
    95. Nottegar, C; Priami, C; Degano, P
      Performance evaluation of mobile processes via abstract machines

      IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
    96. Pulvermuller, F; Harle, M; Hummel, F
      Walking or talking?: Behavioral and neurophysiological correlates of action verb processing

      BRAIN AND LANGUAGE
    97. Schulz, P; Wymann, K; Penner, Z
      The early acquisition of verb meaning in German by normally developing andlanguage impaired children

      BRAIN AND LANGUAGE
    98. Bird, H; Howard, D; Franklin, S
      Noun-verb differences? A question of semantics: A response to Shapiro and Caramazza

      BRAIN AND LANGUAGE
    99. Hahne, A
      What's different in second-language processing? Evidence from event-related brain potentials

      JOURNAL OF PSYCHOLINGUISTIC RESEARCH
    100. 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