|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 18708 occurrences of 5441 keywords
|
|
|
Results
Found 36096 publication records. Showing 36096 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
23 | Pablo Barceló, Leopoldo E. Bertossi, Loreto Bravo |
Characterizing and Computing Semantically Correct Answers from Databases with Annotated Logic and Answer Sets. |
Semantics in Databases |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Jim Alves-Foss, Deborah A. Frincke |
Formal Grammar for Java. |
Formal Syntax and Semantics of Java |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Paul Gastin |
Infinite Traces. |
Semantics of Systems of Concurrent Processes |
1990 |
DBLP DOI BibTeX RDF |
|
23 | Rob J. van Glabbeek, Ursula Goltz |
Equivalences and Refinement. |
Semantics of Systems of Concurrent Processes |
1990 |
DBLP DOI BibTeX RDF |
|
23 | Karoline Malmkjær |
On Some Semantic Issues in the Reflective Tower. |
Mathematical Foundations of Programming Semantics |
1989 |
DBLP DOI BibTeX RDF |
|
23 | Elsa L. Gunter |
Pseudo-Retract Functors for Local Lattices and Bifinite L-domains. |
Mathematical Foundations of Programming Semantics |
1989 |
DBLP DOI BibTeX RDF |
|
23 | Carl A. Gunter |
Comparing Categories of Domains. |
Mathematical Foundations of Programming Semantics |
1985 |
DBLP DOI BibTeX RDF |
|
22 | Stamatia Dasiopoulou, Vassilis Tzouvaras, Ioannis Kompatsiaris, Michael G. Strintzis |
Capturing MPEG-7 Semantics. |
MTSR |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Nenad Stojanovic, Dimitris Apostolou, Spyridon Ntioudis, Gregoris Mentzas |
A semantics-based software framework for ensuring consistent access to up-to-date knowledge resources in Public Administrations. |
MTSR |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Karl Aberer, Tiziana Catarci, Philippe Cudré-Mauroux, Tharam S. Dillon, Stephan Grimm, Mohand-Said Hacid, Arantza Illarramendi, Mustafa Jarrar, Vipul Kashyap, Massimo Mecella, Eduardo Mena, Erich J. Neuhold, Aris M. Ouksel, Thomas Risse 0001, Monica Scannapieco, Fèlix Saltor, Luca De Santis, Stefano Spaccapietra, Steffen Staab, Rudi Studer, Olga De Troyer |
Emergent Semantics Systems. |
ICSNW |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Bill Howe, Kuldeep Tanna, Paul J. Turner, David Maier 0001 |
Emergent Semantics: Towards Self-Organizing Scientific Metadata.. |
ICSNW |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Rahul Singh, Ryohei Nakata, Joseph Downs |
Characterization and Analysis of Emergent Image Semantics Using Network Models. |
ICSC |
2011 |
DBLP DOI BibTeX RDF |
image and media semantics, human-computer interaction, network analysis, multimedia retrieval, information modeling, emergent semantics |
22 | Gyoung Soon Choi, Rüdiger Oehlmann, Hilary Dalke, David Cottington |
Discovering Color Semantics as a Chance for Developing Cross-Cultural Design Frameworks. |
KES (2) |
2007 |
DBLP DOI BibTeX RDF |
Discovering Color Semantics as a Chance, Cross-Cultural Design Framework, Semantics and Context of Color |
22 | Qian Wang 0024, Gopal Gupta 0001 |
Rapidly prototyping implementation infrastructure of domain specific languages: a semantics-based approach. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
horn logical semantics, semantics, domain specific languages, interpreter |
22 | Marino Miculan, Ivan Scagnetto |
A framework for typed HOAS and semantics. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
categorical metamodels, metalanguages for syntax and semantics of languages, presheaf categories, typed abstract syntax with variable binding, initial algebra semantics |
22 | Edward P. F. Chan |
A Possible World Semantics for Disjunctive Databases. |
IEEE Trans. Knowl. Data Eng. |
1993 |
DBLP DOI BibTeX RDF |
ground atom, disjunctive database, generalized closed world assumption, GCWA, disjunctive database rule, DDR, PWS, propositional databases, negative ground literal, co-NP-hard, knowledge based systems, database theory, deductive databases, database semantics, possible world semantics, negative information |
22 | Winfield S. Bennett, Tanya Herlick, Katherine Hoyt, Joseph Liro, Ana Santisteban |
Toward a computational model of aspect and verb semantics. |
Mach. Transl. |
1990 |
DBLP DOI BibTeX RDF |
aspectual features, verb semantics, natural language processing, aspect, computational linguistics, lexical semantics, semantic features |
22 | Raymond T. Boute |
Representational and Denotational Semantics of Digital Systems. |
IEEE Trans. Computers |
1989 |
DBLP DOI BibTeX RDF |
representational semantics, input/output transformation, abstract mathematical functions, function definitions, functional recast, mappings, digital arithmetic, denotational semantics, number theory, digital systems, digital systems |
22 | Ethan K. Jackson, Janos Sztipanovits |
Formalizing the structural semantics of domain-specific modeling languages. |
Softw. Syst. Model. |
2009 |
DBLP DOI BibTeX RDF |
Structural semantics, Metamodeling, Model-based Design, Formal logic, Domain-specific modeling languages, Horn logic |
22 | Zhiping Shi 0002, Qing He 0003, Zhongzhi Shi |
An index and retrieval framework integrating perceptive features and semantics for multimedia databases. |
Multim. Tools Appl. |
2009 |
DBLP DOI BibTeX RDF |
CBMR, Semantics, Relevance feedback, High-dimensional index |
22 | Dov M. Gabbay |
Semantics for Higher Level Attacks in Extended Argumentation Frames Part 1: Overview. |
Stud Logica |
2009 |
DBLP DOI BibTeX RDF |
extended argumentations frames, semantics for attacks on attacks, joint attacks |
22 | Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Tom Ridge, Thomas Braibant, Magnus O. Myreen, Jade Alglave |
The semantics of x86-CC multiprocessor machine code. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
semantics, relaxed memory models |
22 | Jade Alglave, Anthony C. J. Fox, Samin Ishtiaq, Magnus O. Myreen, Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli |
The semantics of power and ARM multiprocessor machine code. |
DAMP |
2009 |
DBLP DOI BibTeX RDF |
semantics, powerpc, arm, relaxed memory models |
22 | Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli |
Logic Programs under Three-Valued Lukasiewicz Semantics. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
Three Valued Logic Programs, ?ukasiewicz Semantics |
22 | Nicholas Paul Sheppard, Reihaneh Safavi-Naini |
On the operational semantics of rights expression languages. |
Digital Rights Management Workshop |
2009 |
DBLP DOI BibTeX RDF |
operational semantics, digital rights management, rights expression languages |
22 | David Harel, Shahar Maoz |
Assert and negate revisited: Modal semantics for UML sequence diagrams. |
Softw. Syst. Model. |
2008 |
DBLP DOI BibTeX RDF |
UML Interactions, Standardization, Formal semantics, Sequence diagrams, Live sequence charts |
22 | Sharon Shoham, Nissim Francez |
Game Semantics for the Lambek-Calculus: Capturing Directionality and the Absence of Structural Rules. |
Stud Logica |
2008 |
DBLP DOI BibTeX RDF |
Game semantics, Lambek calculus |
22 | Yahui Lu, Li Zhang 0065, Jiaguang Sun 0001 |
Towards trace semantics for WS-CDL with alignments. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
semantics, trace, alignment, WS-CDL |
22 | Carlos Olarte, Frank D. Valencia |
Universal concurrent constraint programing: symbolic semantics and applications to security. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
symbolic semantics, security, mobility, concurrent constraint programming |
22 | Chunbo Chu, Monica Brockmeyer |
Predicate Detection Modality and Semantics in Three Partially Synchronous Models. |
ACIS-ICIS |
2008 |
DBLP DOI BibTeX RDF |
Semantics, Observability, Modality, Partial synchrony, Predicate detection |
22 | Martín Abadi, Andrew Birrell, Tim Harris 0001, Michael Isard |
Semantics of transactional memory and automatic mutual exclusion. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
STM, transactional memory, operational semantics |
22 | Christian Y. A. Brenninkmeijer, Ixent Galpin, Alvaro A. A. Fernandes, Norman W. Paton |
A Semantics for a Query Language over Sensors, Streams and Relations. |
BNCOD |
2008 |
DBLP DOI BibTeX RDF |
Stream/Sensor Network Data, Query Language Semantics |
22 | Xiang Sean Zhou, Sonja Zillner, Manuel Möller, Michael Sintek, Yiqiang Zhan, Arun Krishnan, Alok Gupta |
Semantics and CBIR: a medical imaging perspective. |
CIVR |
2008 |
DBLP DOI BibTeX RDF |
ontology, semantics, image retrieval, medical image analysis |
22 | Zhifeng Bao, Huayu Wu 0001, Bo Chen, Tok Wang Ling |
Using semantics in XML query processing. |
ICUIMC |
2008 |
DBLP DOI BibTeX RDF |
ORA-SS, semantic optimization, XML, semantics, keyword search, twig query |
22 | Guoray Cai |
Contextualization of Geospatial Database Semantics for Human-GIS Interaction. |
GeoInformatica |
2007 |
DBLP DOI BibTeX RDF |
ontology, human-computer interaction, GIS, semantics, context |
22 | Thomas Cleenewerck, Ivan Kurtev |
Separation of concerns in translational semantics for DSLs in model engineering. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
model-based DSLs, modular translational semantics, model transformations, separation of concerns, model engineering |
22 | Jie Wang, Chunnian Liu |
Fuzzy Constraint Logic Programming with Answer Set Semantics. |
KSEM |
2007 |
DBLP DOI BibTeX RDF |
Logic Program, Fuzzy Constraint, Answer Set Semantics |
22 | Pietro Baroni, Massimiliano Giacomin |
Comparing Argumentation Semantics with Respect to Skepticism. |
ECSQARU |
2007 |
DBLP DOI BibTeX RDF |
Argumentation semantics, Skepticism |
22 | Guang Zheng, Shaorong Li, Jinzhao Wu, Lian Li |
A Non-interleaving Denotational Semantics of Value Passing CCS with Action Refinement. |
FAW |
2007 |
DBLP DOI BibTeX RDF |
value passing CCS, valued stable event structures, valued labeled configuration structures, semantics, action refinement |
22 | Sam Bakhtiar Sanjabi, C.-H. Luke Ong |
Fully abstract semantics of additive aspects by translation. |
AOSD |
2007 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, translation, aspects, game semantics, full abstraction |
22 | Haitao Dan, Robert M. Hierons, Steve Counsell |
A Thread-tag Based Semantics for Sequence Diagrams. |
SEFM |
2007 |
DBLP DOI BibTeX RDF |
Partially ordered multiset, Thread tag, Semantics, Concurrency, Object-Oriented, Sequence Diagram |
22 | Jozef Hooman, Mark van der Zwaag |
A semantics of communicating reactive objects with timing. |
Int. J. Softw. Tools Technol. Transf. |
2006 |
DBLP DOI BibTeX RDF |
UML, Real-time, Formal methods, Theorem proving, Formal semantics |
22 | Heidi Gregersen |
The formal semantics of the timeER model. |
APCCM |
2006 |
DBLP BibTeX RDF |
conceptual modeling, temporal databases, database design, entity-relationship models, temporal data models, temporal semantics |
22 | Zhiping Shi 0002, Qingyong Li, Zhiwei Shi, Zhongzhi Shi |
Semantics Supervised Cluster-Based Index for Video Databases. |
CIVR |
2006 |
DBLP DOI BibTeX RDF |
video semantics, cluster, video database, High-dimensional index |
22 | David Harel, Shahar Maoz |
Assert and negate revisited: modal semantics for UML sequence diagrams. |
SCESM |
2006 |
DBLP DOI BibTeX RDF |
inter-object approach, UML, semantics, specification, scenarios, sequence diagrams, live sequence charts, visual formalisms |
22 | Hugo Liu, Henry Lieberman |
Programmatic semantics for natural language interfaces. |
CHI Extended Abstracts |
2005 |
DBLP DOI BibTeX RDF |
programmatic semantics, storytelling, natural language interfaces, brainstorming, case tools |
22 | Grégoire Hamon |
A denotational semantics for stateflow. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
compilation, continuations, denotational semantics, Stateflow |
22 | Steve Barker, Paul Douglas |
An Intelligent Tutoring System for Program Semantics. |
ITCC (1) |
2005 |
DBLP DOI BibTeX RDF |
E-Learning, Educational Software, Program Semantics |
22 | Adrian Giurca, Gerd Wagner 0001 |
Towards an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML. |
RuleML |
2005 |
DBLP DOI BibTeX RDF |
rule markup languages, RuleML, partial logic, semantics, abstract syntax |
22 | Koen Claessen, Hans Svensson |
A semantics for distributed Erlang. |
Erlang Workshop |
2005 |
DBLP DOI BibTeX RDF |
distributed systems, verification, semantics, Erlang |
22 | Parag C. Prasad, Subramani Arunkumar |
From short-term memory to semantics-a computational model. |
Neural Comput. Appl. |
2004 |
DBLP DOI BibTeX RDF |
Classification, Learning, Semantics, Memory, Language |
22 | Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer 0001 |
Dynamic Meta Modeling with time: Specifying the semantics of multimedia sequence diagrams. |
Softw. Syst. Model. |
2004 |
DBLP DOI BibTeX RDF |
Multimedia, Time, Meta modeling, Formal semantics, Graph transformation, Sequence diagram, UML extensions |
22 | María-del-Mar Gallardo, Pedro Merino 0001, Ernesto Pimentel 0001 |
A generalized semantics of PROMELA for abstract model checking. |
Formal Aspects Comput. |
2004 |
DBLP DOI BibTeX RDF |
Model checking, Abstraction, spin, Structured operational semantics, promela |
22 | Peter F. Patel-Schneider, Jérôme Siméon |
The Yin/Yang Web: A Unified Model for XML Syntax and RDF Semantics. |
IEEE Trans. Knowl. Data Eng. |
2003 |
DBLP DOI BibTeX RDF |
XML, Semantic Web, semantics, data model, RDF, XQuery, XML schema, syntax, RDF schema |
22 | Maria Halkidi, Benjamin Nguyen, Iraklis Varlamis, Michalis Vazirgiannis |
THESUS: Organizing Web document collections based on link semantics. |
VLDB J. |
2003 |
DBLP DOI BibTeX RDF |
Link management, World Wide Web, Semantics, Similarity measure, Link analysis, Document clustering |
22 | Rik Eshuis, David N. Jansen, Roel J. Wieringa |
Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts. |
Requir. Eng. |
2002 |
DBLP DOI BibTeX RDF |
Execution semantics, Model checking, Statecharts |
22 | Bryon K. Ehlmann, Gregory A. Riccardi, Naphtali Rishe, Jinyu Shi |
Specifying and Enforcing Association Semantics via ORN in the Presence of Association Cycles. |
IEEE Trans. Knowl. Data Eng. |
2002 |
DBLP DOI BibTeX RDF |
ORN, relationship semantics, association cycle, data modeling, complex objects, object databases |
22 | Wolfgang Schuetzelhofer, Karl M. Göschka |
A Set Theory Based Approach on Applying Domain Semantics to XML Structures. |
HICSS |
2002 |
DBLP DOI BibTeX RDF |
business domain semantics, directed typed graph, XML, set theory, constraint modeling |
22 | H. C. M. Kleijn, Maciej Koutny |
Causality Semantics of Petri Nets with Weighted Inhibitor Arcs. |
CONCUR |
2002 |
DBLP DOI BibTeX RDF |
theory of concurrency, weighted inhibitor arcs, causality semantics, occurrence nets, Petri nets, step sequences |
22 | Annalisa Bossi, Sandro Etalle, Sabina Rossi |
Semantics of Input-Consuming Logic Programs. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
semantics, logic programming, dynamic scheduling |
22 | Hans Fleischhack, Bernd Grahlmann |
A Compositional Petri Net Semantics for SDL. |
ICATPN |
1998 |
DBLP DOI BibTeX RDF |
ARQ protocol, Petri Net Semantics, Concurrency, SDL, Compositionality, Procedures, Infinity, Dynamic Processes |
22 | Chiara Bodei, Pierpaolo Degano, Corrado Priami |
Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation. |
SAS |
1998 |
DBLP DOI BibTeX RDF |
SOS semantics, non-interleaving descriptions, Concurrency, abstract interpretation, causality |
22 | Alessandra Di Pierro, Herbert Wiklicky |
An Operational Semantics for Probabilistic Concurrent Constraint Programming. |
ICCL |
1998 |
DBLP DOI BibTeX RDF |
Concurrency, Probability, Constraint Programming, Operational Semantics, Nondeterminism |
22 | Mikael Pettersson |
A Compiler for Natural Semantics. |
CC |
1996 |
DBLP DOI BibTeX RDF |
tailcalls, continuations, natural semantics, determinacy |
22 | Björn Lisper |
Computing in Unpredictable Environments: Semantics, Reduction Strategies, and Program Transformations. |
CAAP |
1996 |
DBLP DOI BibTeX RDF |
reduction systems, recursive program schemes, program transformations, formal semantics, nondeterminism |
22 | Luc Moreau 0001 |
An operational semantics for a parallel functional language with continuations. |
PARLE |
1992 |
DBLP DOI BibTeX RDF |
metacontinuation, left expression, parallelism, Scheme, continuation, operational semantics, transparency |
22 | Cornelis Huizing, Rob Gerth |
Semantics of Reactive Systems in Abstract Time. |
REX Workshop |
1991 |
DBLP DOI BibTeX RDF |
Real-time, semantics, specification, Statecharts, reactive systems |
22 | Mauricio Osorio 0001, Juan Carlos Nieves |
Possibilistic Well-Founded Semantics. |
MICAI |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Yi-Dong Shen, Jia-Huai You |
A Default Approach to Semantics of Logic Programs with Constraint Atoms. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Robert Geva, Yang Ni, Adam Welc |
Towards transactional memory semantics for C++. |
SPAA |
2009 |
DBLP DOI BibTeX RDF |
synchronization, c++, transactional memory, atomicity, serializability |
22 | Aasia Riasat, Syed Sajjad Rizvi, Faraz Arain, Rizwan M. Qureshi |
Dynamic Semantics of the Web: Useful Tool for the New Generation Agent-Based Software. |
Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Fairouz Kamareddine, Karim Nour, Vincent Rahli, J. B. Wells |
A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Li Pan, Weidong Zhao, Zhicheng Wang, Xinmin Zhou |
A State Class Approach to Time Petri Nets with Weak Semantics. |
CSSE (2) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Pierre Kelsen, Qin Ma 0002 |
A Lightweight Approach for Defining the Formal Semantics of a Modeling Language. |
MoDELS |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Martin Caminada |
An Algorithm for Computing Semi-stable Semantics. |
ECSQARU |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Mass Soldal Lund, Ketil Stølen |
A Fully General Operational Semantics for UML 2.0 Sequence Diagrams with Potential and Mandatory Choice. |
FM |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Alessandro Pinto, Luca P. Carloni, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli |
Interchange Format for Hybrid Systems: Abstract Semantics. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Abbas Edalat, Dirk Pattinson |
Denotational Semantics of Hybrid Automata. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Maarten H. van Emden |
Compositional Semantics for the Procedural Interpretation of Logic. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Daniel Stamate |
Assumption based multi-valued semantics for extended logic programs. |
ISMVL |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Mourad Debbabi, Mohamed Mostafa Saleh |
Game Semantics Model for Security Protocols. |
ICFEM |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Dirk Janssens, Hans-Jörg Kreowski, Grzegorz Rozenberg |
Main Concepts of Networks of Transformation Units with Interlinking Semantics. |
Formal Methods in Software and Systems Modeling |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Hendrik Decker |
Total Unbiased Multivalued Paraconsistent Semantics of Database Integrity. |
DEXA Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo |
A compositional semantics for CHR. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Federico Banti, José Júlio Alferes, Antonio Brogi |
Operational Semantics for DyLPs. |
EPIA |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Xiuli Sun, Jinzhao Wu |
Operational Semantics for Real-Time Processes with Action Refinement. |
SEFM |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Michal Misiak |
Behavioural Semantics of Algebraic Specifications in Arbitrary Logical Systems. |
WADT |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Martin De Wulf, Laurent Doyen 0001, Jean-François Raskin |
Almost ASAP Semantics: From Timed Models to Timed Implementations. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Maxim Roy, Richard A. Frost |
Extending Montague Semantics for Use in Natural-Language Database-Query Processing. |
Canadian AI |
2004 |
DBLP DOI BibTeX RDF |
|
22 | José Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite |
Semantics for Dynamic Logic Programming: A Principle-Based Approach. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Koen Claessen, Johan Mårtensson |
An Operational Semantics for Weak PSL. |
FMCAD |
2004 |
DBLP DOI BibTeX RDF |
|
22 | David Harel, Hillel Kugler |
The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML) - Preliminary Version. |
SoftSpez Final Report |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Mauricio Osorio 0001, Verónica Borja Macías, José Arrazola |
Three Valued Logic of Lukasiewicz for Modeling Semantics of Logic Programs. |
IBERAMIA |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Álvaro F. Moreira, Renata Vieira, Rafael H. Bordini |
Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication. |
DALT |
2003 |
DBLP DOI BibTeX RDF |
|
22 | D. V. Sreenath, William I. Grosky, Farshad Fotouhi |
Emergent Semantics from Users' Browsing Paths. |
ISI |
2003 |
DBLP DOI BibTeX RDF |
|
22 | In-Su Kang, Jae-Hak J. Bae, Jong-Hyeok Lee |
Database Semantics Representation for Natural Language Access. |
CW |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Gianna Reggio, Maura Cerioli, Egidio Astesiano |
Towards a Rigorous Semantics of UML Supporting Its Multiview Approach. |
FASE |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Dietmar Seipel |
Clausal Deductive Databases and a General Framework for Semantics in Disjunctive Deductive Databases. |
FoIKS |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Stuart Kent 0001, Andy Evans, Bernhard Rumpe |
UML Semantics FAQ. |
ECOOP Workshops |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Dietmar Seipel |
An Alternating Well-Founded Semantics for Query Answering in Disjunctive Databases. |
FQAS |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #601 - #700 of 36096 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|