|
|
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 |
25 | Jorma K. Mattila |
Possibility Based Modal Semantics for Graded Modifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA (1) ![In: Foundations of Fuzzy Logic and Soft Computing, 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, June 18-21, 2007, Proceedings, pp. 220-230, 2007, Springer, 978-3-540-72917-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
metalogic, Semantics of Modal Logic, Semantics of Modifier Logic, Modifier system, Modality, Modifier |
25 | Minhua Ma, Paul McKevitt |
Interval Relations in Lexical Semantics of Verbs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Rev. ![In: Artif. Intell. Rev. 21(3-4), pp. 293-316, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
CONFUCIUS, language visualisation, verb semantics, visual semantics, knowledge representation, natural language understanding, temporal relations |
25 | Peter D. Mosses |
Exploiting labels in Structural Operational Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004, pp. 1476-1481, 2004, ACM, 1-58113-812-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
MSOS, modularity, structural operational semantics, natural semantics, SOS |
25 | Luis Fernando Llana Díaz, Manuel Núñez 0001 |
Testing Semantics for Unbounded Nondeterminism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '97 Parallel Processing, Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings, pp. 538-545, 1997, Springer, 3-540-63440-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
unbounded nondeterminism, testing semantics, Process algebra, CSP, operational semantics |
25 | Marina Lenisa |
Final Semantics for a Higher Order Concurrent Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: Trees in Algebra and Programming - CAAP'96, 21st International Colloquium, Linköping, Sweden, April, 22-24, 1996, Proceedings, pp. 102-118, 1996, Springer, 3-540-61064-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
second order assignment, F-coalgebra, F-bisimulation, final semantics, hyperset, complete metric space, mixed induction-coinduction, operational semantics, coinduction |
25 | David W. Binkley |
Reducing the cost of regression testing by semantics guided test case selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: Proceedings of the International Conference on Software Maintenance, ICSM 1995, Opio (Nice), France, October 17-20, 1995, pp. 251-, 1995, IEEE Computer Society, 0-8186-7141-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
semantics guided test case selection, semantic differences, common execution patterns, interprocedural slice, calling context slice, software maintenance, software maintenance, program testing, program testing, regression testing, cost, software cost estimation, language semantics |
25 | Bijan Arbab, Daniel M. Berry |
Some Comments on "A Denotational Semantics for Prolog". ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 16(3), pp. 605-606, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
logic programming, operational semantics, denotational semantics |
25 | Luc Bougé |
On the Semantics of Languages for Massively Parallel SIMD Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE (2) ![In: PARLE '91: Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 10-13, 1991, Proceedings, pp. 166-183, 1991, Springer, 3-540-54152-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
The C language, Semantics, SIMD, Parallel languages, Structured Operational Semantics, Massively parallel architecture, Connection Machine, Program equivalence |
25 | Arnon Avron |
Multi-valued Semantics: Why and How. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 92(2), pp. 163-182, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Multi-valued semantics, Suszko’s Thesis, analycity, modularity, many-valued logics, non-deterministic matrices |
25 | Wei Ke 0001, Zhiming Liu 0001, Shuling Wang, Liang Zhao 0022 |
A Graph-Based Operational Semantics of OO Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings, pp. 347-366, 2009, Springer, 978-3-642-10372-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
state graphs, operational semantics, object graphs, OO programs |
25 | Pascual Julián, Ginés Moreno, Jaime Penabad |
On the Declarative Semantics of Multi-Adjoint Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN (1) ![In: Bio-Inspired Systems: Computational and Ambient Intelligence, 10th International Work-Conference on Artificial Neural Networks, IWANN 2009, Salamanca, Spain, June 10-12, 2009. Proceedings, Part I, pp. 253-260, 2009, Springer, 978-3-642-02477-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Herbrand Model, Fuzzy Logic Programming, Declarative Semantics |
25 | Rachid Guerraoui, Michal Kapalka |
The semantics of progress in lock-based transactional memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009, pp. 404-415, 2009, ACM, 978-1-60558-379-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
try-lock, semantics, lower bound, transactional memory, reduction, lock, impossibility, consensus number |
25 | Eric Reuland, Yoad Winter |
Binding without Identity: Towards a Unified Semantics for Bound and Exempt Anaphors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAARC ![In: Anaphora Processing and Applications, 7th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2009, Goa, India, November 5-6, 2009, Proceedings, pp. 69-79, 2009, Springer, 978-3-642-04974-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Anaphors, Exemption, Proxy-readings, Skolem functions, Variable-free semantics |
25 | M. V. Arkhipova, Sergey V. Zelenov |
Directed Generation of Test Data for Static Semantics Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings, pp. 753-768, 2008, Springer, 978-3-540-88478-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
context condition, grammar, specification based testing, static semantics, Automated test data generation |
25 | Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray |
A semantics-based approach to malware detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007, pp. 377-388, 2007, ACM, 1-59593-575-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
abstract interpretation, obfuscation, malware detection, trace semantics |
25 | Musab AlTurki, José Meseguer 0001 |
Real-time rewriting semantics of orc. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 14-16, 2007, Wroclaw, Poland, pp. 131-142, 2007, ACM, 978-1-59593-769-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
orc, orchestration theory, real-time, formal analysis, rewriting logic, structural operational semantics, maude |
25 | Paolo Bottoni, Juan de Lara, Esther Guerra |
Action Patterns for the Incremental Specification of the Execution Semantics of Visual Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL/HCC ![In: 2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 23-27 September 2007, Coeur d'Alene, Idaho, USA, pp. 163-170, 2007, IEEE Computer Society, 978-0-7695-2987-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Visual Languages, Meta-Modelling, Operational Semantics, Graph Transformation |
25 | Mohamed Bouhdadi, Youssef Balouki, El maati Chabbar |
Meta-modelling Syntax and Semantics of Structural Concepts for Open Networked Enterprises. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (3) ![In: Computational Science and Its Applications - ICCSA 2007, International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings. Part III, pp. 45-54, 2007, Springer, 978-3-540-74482-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Enterprise Language, Structural Concepts, UML/OCL, Denotational Semantics, RM-ODP |
25 | Haiping Zhu, Huajie Zhang, Yong Yu 0001 |
Deeper Semantics Goes a Long Way: Fuzzified Representation and Matching of Color Descriptions for Online Clothing Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISE ![In: Web Information Systems - WISE 2006, 7th International Conference on Web Information Systems Engineering, Wuhan, China, October 23-26, 2006, Proceedings, pp. 423-435, 2006, Springer, 3-540-48105-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Semantics of Color Descriptions, HSL Color Space, Fuzzy Colors, Fuzzy Conceptual Graphs, Fuzzy Color Similarity |
25 | Hai Zhuge |
The open and autonomous interconnection semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEC ![In: Proceedings of the 8th International Conference on Electronic Commerce: The new e-commerce - Innovations for Conquering Current Barriers, Obstacles and Limitations to Conducting Successful Business on the Internet, 2006, Fredericton, New Brunswick, Canada, August 13-16, 2006, pp. 105-115, 2006, ACM, 1-59593-392-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
interconnection environment, semantics, autonomy |
25 | Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier, Farhad Arbab |
Compositional Semantics of an Actor-Based Language Using Constraint Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages, 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings, pp. 281-297, 2006, Springer, 3-540-34694-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Rebeca, Compositional semantics, Reo, Constraint Automata, actor model |
25 | M. D. Derk |
Towards a simpler method of operational semantics for language definition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 40(5), pp. 39-44, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
operational semantics, binding, BNF |
25 | Frank Zeyda, Bill Stoddart, Steve Dunne |
A Prospective-Value Semantics for the GSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings, pp. 187-202, 2005, Springer, 3-540-25559-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
bunch theory, prospective-value semantics, expression transformers, wp calculus, B Method, Generalised substitution |
25 | Shamimabi Paurobally, Jim Cunningham, Nicholas R. Jennings |
A formal framework for agent interaction semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands, pp. 91-98, 2005, ACM, 1-59593-094-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
intention ACL, interaction state, protocol, semantics, belief |
25 | Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer |
Semantics of declarative goals in agent programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands, pp. 133-140, 2005, ACM, 1-59593-094-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
semantics, default logic, agent programming languages, declarative goals |
25 | María Victoria Cengarle, Alexander Knapp |
OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 3(1), pp. 9-30, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
UML, OCL, Formal semantics |
25 | Paolo Terenziani, Richard T. Snodgrass |
Reconciling Point-Based and Interval-Based Semantics in Temporal Relational Databases: A Treatment of the Telic/Atelic Distinction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 16(5), pp. 540-551, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
data models, Temporal databases, database semantics |
25 | Xiaoshan Li, Zhiming Liu 0001, Jifeng He 0001 |
A Formal Semantics of UML Sequence Diagram. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Software Engineering Conference ![In: 15th Australian Software Engineering Conference (ASWEC 2004), 13-16 April 2004, Melbourne, Australia, pp. 168-177, 2004, IEEE Computer Society, 0-7695-2089-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
UML, Semantics, Consistency, Sequence Diagram |
25 | Dawei Ding 0003, Jun Yang 0003, Qing Li 0001, Liping Wang 0002, Wenyin Liu |
Towards a flash search engine based on expressive semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW (Alternate Track Papers & Posters) ![In: Proceedings of the 13th international conference on World Wide Web - Alternate Track Papers & Posters, WWW 2004, New York, NY, USA, May 17-20, 2004, pp. 472-473, 2004, ACM, 1-58113-912-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
expressive semantics, flash retrieval, classification, search engine, web application, eigenvector |
25 | Xuede Zhan, Huaikou Miao, Ling Liu |
Formalizing the Semantics of UML Statecharts with Z*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: 2004 International Conference on Computer and Information Technology (CIT 2004), 14-16 September 2004, Wuhan, China, pp. 1116-1121, 2004, IEEE Computer Society, 0-7695-2216-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
UML, formal semantics, Z, UML statechart |
25 | Salvador España Boquera, Vicent Estruch |
A Memoizing Semantics for Functional Logic Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, pp. 109-123, 2004, Springer, 3-540-21313-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Programming languages, formal semantics, memoization |
25 | Bernd Brassel, Michael Hanus, Frank Huch, Germán Vidal |
A semantics for tracing declarative multi-paradigm programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy, pp. 179-190, 2004, ACM, 1-58113-819-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
semantics, tracing, functional logic programming |
25 | Lloyd Rutledge, Martin Alberink, Rogier Brussee, Stanislav Pokraev, William van Dieten, Mettina Veenstra |
Finding the story: broader applicability of semantics and discourse for hypermedia generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hypertext ![In: HYPERTEXT 2003, Proceedings of the 14th ACM Conference on Hypertext and Hypermedia, August 26-30, 2003, Nottingham, UK, pp. 67-76, 2003, ACM, 1-58113-704-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
clustering, semantics, hypermedia, RDF, narrative, SMIL, concept lattices, discourse |
25 | Veda C. Storey, Robert C. Goldstein, Harald Ullrich |
Naive Semantics to Support Automated Database Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 14(1), pp. 1-12, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
naive Semantics, database design, design automation, entity-relationship model |
25 | Dániel Varró, András Pataricza |
Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30 - October 4, 2002, Proceedings, pp. 18-33, 2002, Springer, 3-540-44254-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
refinement, model transformation, metamodeling, formal semantics, graph transformation |
25 | Christine Choppy, Pascal Poizat, Jean-Claude Royer |
A Global Semantics for Views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, pp. 165-180, 2000, Springer, 3-540-67530-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
mixed specifications, view formalism, global semantics |
25 | Michael Huth 0001 |
On the Approximation of Denotational Mu-Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 7(1-2), pp. 85-111, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
least/greatest pixed, recursion, points, partial orders, denotational semantics |
25 | Luis Fernando Llana Díaz, David de Frutos-Escrig |
Relating May and Must Testing Semantics for Discrete Timed Process Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computing Science - ASIAN'99, 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999, Proceedings, pp. 74-86, 1999, Springer, 3-540-66856-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
testing semantics, must, may, time, process algebra |
25 | Chris Ho-Stuart, Shaoying Liu |
A Formal Operational Semantics for SOFL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 2-5 December 1997, Clear Water Bay, Hong Kong, pp. 52-61, 1997, IEEE Computer Society, 0-8186-8271-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
operational-semantics data-flow-diagram specification |
25 | Maciej Koutny |
Partial Order Semantics of Box Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1994, 15th International Conference, Zaragoza, Spain, June 20-24, 1994, Proceedings, pp. 318-337, 1994, Springer, 3-540-58152-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
partial order theory of concurrency, net-based algebraic calculi, Causality, structured operational semantics |
25 | Kim Marriott, Peter J. Stuckey |
Semantics of Constraint Logic Programs with Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPLAS ![In: LOPLAS 2(1-4), pp. 197-212, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
semantics, constraint logic programming |
24 | Dario Fischbein, Víctor A. Braberman, Sebastián Uchitel |
A Sound Observational Semantics for Modal Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings, pp. 215-230, 2009, Springer, 978-3-642-03465-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Yasuo Nakayama |
Overview of Logic and Engineering of Natural Language Semantics (LENLS) 2008. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JSAI ![In: New Frontiers in Artificial Intelligence, JSAI 2008 Conference and Workshops, Asahikawa, Japan, June 11-13, 2008, Revised Selected Papers, pp. 101-102, 2008, Springer, 978-3-642-00608-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Guohua Liu, Jia-Huai You |
Lparse Programs Revisited: Semantics and Representation of Aggregates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings, pp. 347-361, 2008, Springer, 978-3-540-89981-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Pavel Avgustinov, Julian Tibble, Oege de Moor |
On the Semantics of Matching Trace Monitoring Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, 7th International Workshop, RV 2007, Vancouver, Canada, March 13, 2007, Revised Selected Papers, pp. 9-21, 2007, Springer, 978-3-540-77394-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Marie Agier, Jean-Marc Petit |
A New and Useful Syntactic Restriction on Rule Semantics for Tabular Datasets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFCA ![In: Formal Concept Analysis, 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007, Proceedings, pp. 39-50, 2007, Springer, 3-540-70828-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | David de Frutos-Escrig, Fernando Rosa-Velardo, Carlos Gregorio-Rodríguez |
New Bisimulation Semantics for Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings, pp. 143-159, 2007, Springer, 978-3-540-73195-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Slavisa Markovic, Thomas Baar |
An OCL Semantics Specified with QVT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings, pp. 661-675, 2006, Springer, 3-540-45772-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Tok Wang Ling |
Capturing Semantics in XML Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDXD ![In: Knowledge Discovery from XML Documents, First International Workshop, KDXD 2006, Singapore, April 9, 2006, Proceedings, pp. 2, 2006, Springer, 3-540-33180-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Keita Fujii, Tatsuya Suda |
Semantics-based dynamic service composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Areas Commun. ![In: IEEE J. Sel. Areas Commun. 23(12), pp. 2361-2372, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux |
Comparison of Different Semantics for Time Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings, pp. 293-307, 2005, Springer, 3-540-29209-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Timed Bisimilarity, Expressiveness, Time Petri Nets |
24 | Kevin Chen-Chuan Chang, Bin He 0001, Zhen Zhang 0001 |
Mining semantics for large scale integration on the web: evidences, insights, and challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGKDD Explor. ![In: SIGKDD Explor. 6(2), pp. 67-76, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur |
The Refined Operational Semantics of Constraint Handling Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings, pp. 90-104, 2004, Springer, 3-540-22671-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Jan-Georg Smaus |
Is There an Optimal Generic Semantics for First-Order Equations?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings, pp. 438-450, 2003, Springer, 3-540-20642-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Harry G. Mairson |
From Hilbert space to Dilbert space: context semantics as a language for games and flow analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, Uppsala, Sweden, August 25-29, 2003, pp. 125, 2003, ACM, 1-58113-756-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Jonathan P. Bowen, Jifeng He 0001, Qiwen Xu |
An Animatable Operational Semantics of the Verilog Hardware Description Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: 3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000, York, England, UK, September 4-7, 2000, Proceedings, pp. 199-208, 2000, IEEE Computer Society, 0-7695-0822-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Ekawit Nantajeewarawat, Vilas Wuwongse |
An Argumentation Approach to Semantics of Declarative Programs with Defeasible Inheritance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computing Science - ASIAN'99, 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999, Proceedings, pp. 239-250, 1999, Springer, 3-540-66856-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
24 | Thomas Lukasiewicz |
Many-Valued First-Order Logics with Probabilistic Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 12th International Workshop, CSL '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings, pp. 415-429, 1998, Springer, 3-540-65922-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Glynn Winskel |
A Presheaf Semantics of Value-Passing Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings, pp. 98-114, 1996, Springer, 3-540-61604-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
24 | Michal Walicki, Sigurd Meldal |
A Complete Calculus for the Multialgebraic and Functional Semantics of Nondeterminism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 17(2), pp. 366-393, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
reasoning with nondeterminism, algebraic specifications |
24 | Roy L. Crole, Andrew D. Gordon 0001 |
A Sound Metalogical Semantics for Input/Output Effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 8th International Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994, Selected Papers, pp. 339-353, 1994, Springer, 3-540-60017-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
24 | Els Laenens, Dirk Vermeir, Carlo Zaniolo |
Logic Programming Semantics Made Easy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 19th International Colloquium, ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings, pp. 499-508, 1992, Springer, 3-540-55719-9. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
24 | Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo |
Denotational Versus Declarative Semantics for Functional Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991, Proceedings, pp. 134-148, 1991, Springer, 3-540-55789-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
24 | Michael Johnson, Farshad Fotouhi, Sorin Draghici, Ming Dong 0001, Duo Xu |
Discovering Document Semantics QBYS: A System for Querying the WWW by Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Tools Appl. ![In: Multim. Tools Appl. 24(2), pp. 155-188, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
query-by-semantics, document features, document type, neural network |
24 | Jan J. M. M. Rutten |
Nonwellfounded Sets and Programming Language Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Mathematical Foundations of Programming Semantics, 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991, Proceedings, pp. 193-206, 1991, Springer, 3-540-55511-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
transition system specification, nonwellfounded sets, anti-foundation-axiom, interpretation, bisimulation, compositionality, labelled transition system, Structured operational semantics |
23 | Guido Boella, Rossana Damiano, Joris Hulstijn, Leendert W. N. van der Torre |
Role-based semantics for agent communication: embedding of the 'mental attitudes' and 'social commitments' semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006, pp. 688-690, 2006, ACM, 1-59593-303-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | David Harel, Bernhard Rumpe |
Meaningful Modeling: What's the Semantics of "Semantics"?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 37(10), pp. 64-72, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Viet Phan Luong |
Between Well-Founded Semantics and Stable Model Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAS ![In: 1999 International Database Engineering and Applications Symposium, IDEAS 1999, Montreal, Canada, August 2-4, 1999, Proceedings, pp. 270-278, 1999, IEEE Computer Society, 0-7695-0265-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Lunjin Lu, Peter Greenfield |
Abstract fixpoint semantics and abstract procedural semantics of definite logic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCL ![In: ICCL'92, Proceedings of the 1992 International Conference on Computer Languages, Oakland, California, USA, 20-23 Apr 1992, pp. 147-154, 1992, IEEE Computer Society, 0-8186-2585-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
23 | David A. Watt |
An Action Semantics of Standard ML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Mathematical Foundations of Programming Language Semantics, 3rd Workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987, Proceedings, pp. 572-598, 1987, Springer, 3-540-19020-1. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
23 | Adrienne G. Bloss, Paul Hudak |
Path Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Mathematical Foundations of Programming Language Semantics, 3rd Workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987, Proceedings, pp. 476-489, 1987, Springer, 3-540-19020-1. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
23 | K. V. S. Prasad |
A Calculus of Value Broadcasts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE ![In: PARLE '93, Parallel Architectures and Languages Europe, 5th International PARLE Conference, Munich, Germany, June 14-17, 1993, Proceedings, pp. 391-402, 1993, Springer, 3-540-56891-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
CR classification F3.2 Semantics of Programming Languages-operational semantics, algebraic approaches to semantics, F3.1 Logics of programs |
23 | K. V. S. Prasad |
Programming with Broadcasts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings, pp. 173-187, 1993, Springer, 3-540-57208-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
CR classification F3. 2 Semantics of Programming Languages-operational semantics, algebraic approaches to semantics |
23 | Sara Cohen, Yaacov Y. Weiss |
Bag equivalence of XPath queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT 2010, 13th International Conference, Lausanne, Switzerland, March 23-25, 2010, Proceedings, pp. 116-128, 2010, ACM, 978-1-60558-947-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
bag semantics, multiset semantics, XPath, query equivalence |
23 | Huibiao Zhu, Jifeng He 0001, Geguang Pu, Jing Li 0062 |
An Operational Approach to BPEL-like Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEW ![In: 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 6-8 March 2007, Loyola College, Columbia, MD, USA, pp. 236-245, 2007, IEEE Computer Society, 0-7695-2862-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Web Services, BPEL, Operational Semantics, Bisimulation, Compensation, Algebraic Semantics, Fault Handling |
23 | Marjorie McShane, Sergei Nirenburg, Stephen Beale |
An NLP Lexicon as a Largely Language-Independent Resource. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Transl. ![In: Mach. Transl. 19(2), pp. 139-173, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Ontological Semantics, Language-independent resources, Knowledge-rich NLP, Semantics, Lexicon |
23 | Mohammad Reza Mousavi 0001, Murdoch Gabbay, Michel A. Reniers |
SOS for Higher Order Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2005 - Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings, pp. 308-322, 2005, Springer, 3-540-28309-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Congruence Rule Formats, Bisimulation, Formal Semantics, Congruence, Structural Operational Semantics |
23 | Vilas Wuwongse, Ekawit Nantajeewarawat |
Declarative Programs with Implicit Implications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 14(4), pp. 836-849, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
implicit implication, deductive object-oriented database, taxonomy, Declarative program, subsumption, fixpoint semantics, model-theoretic semantics |
23 | Alfredo Burrieza, Inman P. de Guzmán |
A Temporal × Modal Approach to the Definability of Properties of Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems, 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings, pp. 239-254, 2002, Springer, 3-540-43381-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
$Ttimes W$-semantics, functional semantics, completeness, definability |
23 | Alessandro Giacalone, Scott A. Smolka |
Integrated Environments for Formally Well-Founded Design and Simulation of Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(6), pp. 787-802, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
Clara, equational rules, user interfaces, parallel programming, parallel programming, graphical user interface, computer graphics, programming environments, programming environments, specification language, specification languages, operational semantics, programming theory, concurrent systems, inference rules, CCS, interactive simulation, formal techniques, simulation languages, algebraic semantics, concurrent languages |
23 | Amit P. Sheth, James A. Larson, Evan Watkins |
TAILOR, A Tool for Updating Views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: Advances in Database Technology - EDBT'88, Proceedings of the International Conference on Extending Database Technology, Venice, Italy, March 14-18, 1988, pp. 190-213, 1988, Springer, 3-540-19074-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
application semantics, semantic integrity constraints, semantic ambiguity problem, translations, view update, database semantics, semantic knowledge, rule based approach, relational views |
23 | João Marcos 0001 |
What is a Non-truth-functional Logic? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 92(2), pp. 215-240, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Abstract logics, truth-functionality, formal semantics |
23 | Maria João Frade, Ando Saabas, Tarmo Uustalu |
Foundational certification of data-flow analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, June 5-8, 2007, Shanghai, China, pp. 107-116, 2007, IEEE Computer Society, 0-7695-2856-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
data-flow analyses, certification of analyses and optimizations, applied vs. foundational, type systems, program optimizations, Hoare logics, natural semantics |
23 | Gerwin Klein, Tobias Nipkow |
A machine-checked model for a Java-like language, virtual machine, and compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 28(4), pp. 619-695, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Java, theorem proving, operational semantics |
23 | David E. Millard, Nicholas Gibbins, Danius T. Michaelides, Mark J. Weal |
Mind the semantic gap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hypertext ![In: HYPERTEXT 2005, Proceedings of the 16th ACM Conference on Hypertext and Hypermedia, September 6-9, 2005, Salzburg, Austria, pp. 54-62, 2005, ACM, 1-59593-168-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
hypertext formality, hypertext semantics |
23 | Pierpaolo Degano, Rocco De Nicola, Ugo Montanari |
Partial orderings descriptions and observations of nondeterministic concurrent processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings, pp. 438-466, 1988, Springer, 3-540-51080-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
LES, Concurrency, Nondeterminism, CCS, Communicating Processes, Observational Equivalence, Semantics of Programming Languages |
23 | Rada Chirkova, Michael R. Genesereth |
Equivalence of SQL queries in presence of embedded dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Eigth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2009, June 19 - July 1, 2009, Providence, Rhode Island, USA, pp. 217-226, 2009, ACM, 978-1-60558-553-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
embedded dependencies, conjunctive queries, query equivalence |
23 | Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner 0001 |
On the Computability and Complexity Issues of Extended RDF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI ![In: PRICAI 2008: Trends in Artificial Intelligence, 10th Pacific Rim International Conference on Artificial Intelligence, Hanoi, Vietnam, December 15-19, 2008. Proceedings, pp. 5-16, 2008, Springer, 978-3-540-89196-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Extended RDF ontologies, Semantic Web, complexity, rules, negation |
23 | Emad Saad, Enrico Pontelli |
A new approach to hybrid probabilistic logic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 48(3-4), pp. 187-243, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 68T37 |
23 | Hélène Jaudoin, Frédéric Flouvat, Jean-Marc Petit, Farouk Toumani |
Towards a Scalable Query Rewriting Algorithm in Presence of Value Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Data Semantics ![In: Journal on Data Semantics XII, pp. 37-65, 2009, Springer, 978-3-642-00684-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Baba Piprani |
Using ORM-Based Models as a Foundation for a Data Quality Firewall in an Advanced Generation Data Warehouse (Extended Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Data Semantics ![In: Journal on Data Semantics XI, pp. 94-125, 2008, Springer, 978-3-540-92147-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
data quality firewall, advanced generation data warehouse, data quality assessment, data quality threshold, conceptual schema, ORM |
23 | Guy Pierra |
Context Representation in Domain Ontologies and Its Use for Semantic Integration of Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Data Semantics ![In: Journal on Data Semantics X, pp. 174-211, 2008, Springer, 978-3-540-77687-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Miren I. Bagüés, Jesús Bermúdez, Arantza Illarramendi, Alberto Tablado, Alfredo Goñi |
Semantic Interoperation Among Data Systems at a Communication Level. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Data Semantics ![In: Journal on Data Semantics V, pp. 1-24, 2006, Springer, 3-540-31426-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Li Qin, Vijayalakshmi Atluri |
An Ontology-Guided Approach to Change Detection of the Semantic Web Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Data Semantics ![In: Journal on Data Semantics V, pp. 130-157, 2006, Springer, 3-540-31426-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Andrew W. Cooke, Alasdair J. G. Gray, Werner Nutt |
Stream Integration Techniques for Grid Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Data Semantics ![In: Journal on Data Semantics II, pp. 136-175, 2005, Springer, 3-540-24208-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Mohamed Dahchour, Alain Pirotte 0001, Esteban Zimányi |
Generic Relationships in Information Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Data Semantics ![In: Journal on Data Semantics IV, pp. 1-34, 2005, Springer, 3-540-31001-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Fernando Ferri, Maurizio Rafanelli |
GeoPQL: A Geographical Pictorial Query Language That Resolves Ambiguities in Query Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Data Semantics ![In: Journal on Data Semantics III, pp. 50-80, 2005, Springer, 3-540-26225-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Anastasiya Sotnykova, Christelle Vangenot, Nadine Cullot, Nacéra Bennacer, Marie-Aude Aufaure |
Semantic Mappings in Description Logics for Spatio-temporal Database Schema Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Data Semantics ![In: Journal on Data Semantics III, pp. 143-167, 2005, Springer, 3-540-26225-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Gilberto Zonta Pastorello Jr., Claudia Bauzer Medeiros, Silvania Maria de Resende, Henrique Aparecido da Rocha |
Interoperability for GIS Document Management in Environmental Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Data Semantics ![In: Journal on Data Semantics III, pp. 100-124, 2005, Springer, 3-540-26225-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Jeffrey Parsons, Yair Wand |
Attribute-Based Semantic Reconciliation of Multiple Data Sources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Data Semantics ![In: Journal on Data Semantics I, pp. 21-47, 2003, Springer, 3-540-20407-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #600 of 36096 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|