Search results for "declarative"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Thomas T. Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats	Designing a Cross-Organizational Case Management System Using Dynamic Condition Response Graphs.	EDOC	2011	DBLP DOI BibTeX RDF	Declarative Workflow, Case Study, Model-driven Design
14	Ivan Zappia, David Parlanti, Federica Paganelli	LiSEP: A Lightweight and Extensible Tool for Complex Event Processing.	IEEE SCC	2011	DBLP DOI BibTeX RDF	staged event-driven architecture, event processing declarative language, goods monitoring scenario, complex event processing
14	Bernhard Schätz, Florian Hölzl, Torbjörn Lundkvist	Design-Space Exploration through Constraint-Based Model-Transformation.	ECBS	2010	DBLP DOI BibTeX RDF	Model transformation, design-space exploration, rule-based, declarative, EMF
14	Micah Jones, Kevin W. Hamlen	Disambiguating aspect-oriented security policies.	AOSD	2010	DBLP DOI BibTeX RDF	aspect-oriented programming, declarative languages, reference monitors
14	José Barranquero Tolosa, Vicente García-Díaz, Oscar Sanjuán Martínez, Héctor Fernández-Fernández, Gloria García Fernández	Towards Meta-model Interoperability of Models through Intelligent Transformations.	IWANN (2)	2009	DBLP DOI BibTeX RDF	Meta-Transformation, Declarative Transformation, Meta-Model, MDE, Transformation Model
14	Rajkishore Barik, Zoran Budimlic, Vincent Cavé, Sanjay Chatterjee, Yi Guo, David M. Peixotto, Raghavan Raman, Jun Shirako, Sagnak Tasirlar, Yonghong Yan 0001, Yisheng Zhao, Vivek Sarkar	The habanero multicore software research project.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	high productivity, parallel programming, declarative programming
14	Sihem Amer-Yahia, Jian Huang, Cong Yu 0001	Building community-centric information exploration applications on social content sites.	SIGMOD Conference	2009	DBLP DOI BibTeX RDF	social content sites, recommender systems, search, declarative languages
14	Grazyna Brzykcy	Information Flow in a Peer-to-Peer Data Integration System.	KES-AMSTA	2009	DBLP DOI BibTeX RDF	schema mapping, query rewriting, P2P system, XML data, declarative specification
14	Jiafu Xu, Fangmin Song	Quantum programming languages: A tentative study.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	quantum programming languages, language paradigm, imperative programming language, declarative programming language, lexical analyzer, syntactic analyzer, interpreter, assembler
14	John Plaice, Blanca Mancilla, Gabriel Ditu	From Lucid to TransLucid: Iteration, Dataflow, Intensional and Cartesian Programming.	Math. Comput. Sci.	2008	DBLP DOI BibTeX RDF	multidimensional programming, Lucid programming language, Declarative programming
14	Francisco Durán 0001, Salvador Lucas, Claude Marché, José Meseguer 0001, Xavier Urbain	Proving operational termination of membership equational programs.	High. Order Symb. Comput.	2008	DBLP DOI BibTeX RDF	Conditional term rewriting, Operational termination, Declarative rule-based languages, Program transformation, Membership equational logic
14	Jiafu Xu, Fanming Song	Quantum programming languages.	Frontiers Comput. Sci. China	2008	DBLP DOI BibTeX RDF	quantum programming language, imperative paradigm, declarative paradigm, lexical analyzer, syntactic analyzer, primitive function, combining form, compilation, interpreter, code transformer
14	Dimitri Plemenos, George Miaoulis	1 Intelligent Techniques for Computer Graphics.	Artificial Intelligence Techniques for Computer Graphics	2008	DBLP DOI BibTeX RDF	Virtual World Exploration, Artificial Intelligence, Computer Graphics, Triangulation, Motion Modelling, Declarative Modelling, Camera placement
14	Gustavo Alonso	Challenges and Opportunities for Formal Specifications in Service Oriented Architectures.	Petri Nets	2008	DBLP DOI BibTeX RDF	Web Services, Service Oriented Architectures, Workflow, Business Processes, Declarative Languages, Multi-tier architectures
14	Tal Cohen, Joseph Gil, Itay Maman	Guarded Program Transformations Using JTL.	TOOLS (46)	2008	DBLP DOI BibTeX RDF	Program Transformations, Declarative Programming
14	Torbjörn Ekman 0001, Görel Hedin	The JastAdd extensible Java compiler.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	declarative frameworks, Java, compilers, OOP, modularity, extensibility
14	Torbjörn Ekman 0001, Görel Hedin	The JastAdd extensible Java compiler.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	declarative frameworks, Java, compilers, OOP, modularity, extensibility
14	Nitin Gupta 0003, Fan Yang 0002, Alan J. Demers, Johannes Gehrke, Jayavel Shanmugasundaram	User-centric personalized extensibility for data-driven web applications.	SIGMOD Conference	2007	DBLP DOI BibTeX RDF	extensibility, database application, declarative language
14	Will Bridewell, Stuart R. Borrett, Ljupco Todorovski	Extracting constraints for process modeling.	K-CAP	2007	DBLP DOI BibTeX RDF	declarative bias, inductive process modeling
14	Tal Cohen, Joseph Gil, Itay Maman	JTL: the Java tools language.	OOPSLA	2006	DBLP DOI BibTeX RDF	reverse engineering, declarative programming
14	Romualdo Monteiro de Resende Costa, Márcio Ferreira Moreno, Rogério Ferreira Rodrigues, Luiz Fernando Gomes Soares	Live editing of hypermedia documents.	ACM Symposium on Document Engineering	2006	DBLP DOI BibTeX RDF	declarative middleware, ginga, NCL, SBTVD, interactive digital TV
14	M. Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer	Goal-oriented modularity in agent programming.	AAMAS	2006	DBLP DOI BibTeX RDF	semantics, modularity, agent programming languages, declarative goals
14	Kamin Whitehouse, Feng Zhao 0001, Jie Liu 0001	Automatic programming with semantic streams.	SenSys	2005	DBLP DOI BibTeX RDF	declarative query, sensor network, service architecture
14	Avelino F. Zorzo, Felipe Rech Meneguzzi	An agent model for fault-tolerant systems.	SAC	2005	DBLP DOI BibTeX RDF	CA actions, planning, declarative goals, BDI model
14	M. Birna van Riemsdijk	Cognitive agent programming.	AAMAS	2005	DBLP DOI BibTeX RDF	plan revision, operational semantics, denotational semantics, dynamic logic, agent programming languages, declarative goals
14	Joey Paquet, Aihua Wu 0001, Peter Grogono	Towards a framework for the general intensional programming compiler in the GIPSY.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	families of programming languages, compiler, framework, declarative programming, compiler generation, intensional programming
14	Benjamin N. Grosof, Terrence C. Poon	SweetDeal: representing agent contracts with exceptions using XML rules, ontologies, and process descriptions.	WWW	2003	DBLP DOI BibTeX RDF	process descriptions, ontologies, web services, XML, semantic web, knowledge representation, logic programs, electronic commerce, OWL, RDF, semantic web services, description logic, knowledge-based, rules, declarative, intelligent software agents, DAML+OIL, electronic contracts, process knowledge, business process automation
14	Jean-Christophe Lecoq, Michel Mainguenaud	Spatial Alphanumerical Attributes for Graphical Treatings.	ICDAR	2003	DBLP DOI BibTeX RDF	Spatial Closure, Graphical Coherency, Declarative Property
14	Mengchi Liu, Gillian Dobbie, Tok Wang Ling	A logical foundation for deductive object-oriented databases.	ACM Trans. Database Syst.	2002	DBLP DOI BibTeX RDF	nonmonotonic multiple inheritance, object-oriented databases, deductive databases, Declarative semantics, rule-based languages
14	Arunprasad P. Marathe, Kenneth Salem	Query processing techniques for arrays.	VLDB J.	2002	DBLP DOI BibTeX RDF	Array manipulation language, Array query optimization, Declarative query language, Pipelined evaluation, Memory-usage optimization, User-defined functions
14	Hasan M. Jamil	A case for parameterized views and relational unification.	SAC	2001	DBLP DOI BibTeX RDF	declarative methods, inheritance and overriding, parameterized views, reasoning unification, SQL, object-relational databases
14	Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi	Sets and constraint logic programming.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	computable set theory, constraints, declarative programming
14	Daniel Jackson 0001, Yu-Chung Ng, Jeannette M. Wing	A Nitpick Analysis of Mobile IPv6.	Formal Aspects Comput.	1999	DBLP DOI BibTeX RDF	Nitpick, Mobile internetworking protocols, Model checking, Z, Declarative specification
14	Kim Mens, Roel Wuyts, Theo D'Hondt	Declaratively Codifying Software Architectures Using Virtual Software Classifications.	TOOLS (29)	1999	DBLP DOI BibTeX RDF	software classification, declarative reasoning, software architecture, software engineering tool, conformance checking
14	Ghassan Kwaiter, Véronique Gaildrat, René Caubet	Interactive Constraint System for Solid Modeling Objects.	Symposium on Solid Modeling and Applications	1997	DBLP DOI BibTeX RDF	local propagation, propagation of degrees of freedom, object-oriented design, direct manipulation, declarative modeling
14	Jia Liang Han	Program Partition and Logic Program Analysis.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	logic programming, query optimization, program verifications, deductive databases, semantic analysis, Declarative programming, program partitions
14	Nicole Bidoit, Sandra de Amo	A First Step Towards Implementing Dynamic Algebraic Dependencies.	ICDT	1995	DBLP DOI BibTeX RDF	Transaction schema, Declarative and Operational specification of database schema, Dynamic constraint
14	Stefano Spaccapietra, Christine Parent	View Integration: A Step Forward in Solving Structural Conflicts.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	structural conflict resolution, schema integration techniques, schema representations, schema modification, formal declarative approach, inter-view correspondences, structural mappings, operational mappings, integrated schema, data structures, data structures, distributed databases, database management systems, data models, database theory, database design, user satisfaction, database integration, entity-relationship modelling, entity-relationship modelling, user involvement, view integration, database administrator, federated systems, real-world objects
14	Howard C. Wasserman, Zhizhang Shen	The locality principle and completeness in logic programming.	SAC	1994	DBLP DOI BibTeX RDF	computation procedures, logic programming, declarative semantics
14	Sergio Greco, Nicola Leone, Pasquale Rullo	COMPLEX: An Object-Oriented Logic Programming System.	IEEE Trans. Knowl. Data Eng.	1992	DBLP DOI BibTeX RDF	object-oriented logic programming system, knowledge-based applications, Complex-Datalog, C-Datalog, semantic constructs, bottom-up computational model, fully declarative style of programming, top-down model, COMPLEX, object-oriented programming, logic programming, knowledge based systems, tool, software prototyping, prototypical implementation, logic language
14	Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli	New Semantic Tools for Logic Programming.	REX Workshop	1992	DBLP DOI BibTeX RDF	logic programming, operational semantics, declarative semantics
14	Janice I. Glasgow, Michael A. Jenkins, Eli Blevis, Michel P. Féret	Logic Programming with Arrays.	IEEE Trans. Knowl. Data Eng.	1991	DBLP DOI BibTeX RDF	Nial, mathematical treatment, nested arrays, functional style, declarative capabilities, logic clauses, Horn clause logic, user-defined control strategies, knowledge-based systems application, logic programming, programming language, functional programming, functional programming, high level languages, logic programming environment
14	Radha Jagadeesan, Keshav Pingali, Prakash Panangaden	A Fully Abstract Semantics for a First-Order Functional Language with Logic Variables.	ACM Trans. Program. Lang. Syst.	1991	DBLP DOI BibTeX RDF	semantics, functional languages, declarative languages, full abstraction, logic variables
14	Jianhua Chen 0003, Sukhamay Kundu	The Strong Semantics for Logic Programs.	ISMIS	1991	DBLP DOI BibTeX RDF	GCWA-property, logic program, declarative semantics, Derived rule
14	Philippe Balbiani	A Modal Semantics for the Negation as Failure and the Closed World Assumption Rules.	STACS	1991	DBLP DOI BibTeX RDF	logic programming with negation, modal logic, declarative semantics
14	Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy, Shamim A. Naqvi, Shalom Tsur, Carlo Zaniolo	The LDL System Prototype.	IEEE Trans. Knowl. Data Eng.	1990	DBLP DOI BibTeX RDF	LDL system prototype, logic data language, declarative logic-based language, logic programming technologies, knowledge-based applications, LDL language, LDL queries, target query execution plans, stored data, compiled queries, LDL approach, logic programming, relational database, relational databases, knowledge based systems, program compilers, high level languages, optimization techniques, compilation techniques, runtime environment
12	Matthew Canton	The presence table: a reactive surface for ambient connection.	TEI	2011	DBLP DOI BibTeX RDF
12	Johannes Behr, Yvonne Jung, Jens Keil, Timm Drevensek, Michael Zöllner, Peter Eschler, Dieter W. Fellner	A scalable architecture for the HTML5/X3D integration model X3DOM.	Web3D	2010	DBLP DOI BibTeX RDF	WebGL, X3D, DOM, web integration, HTML5
12	William R. Marczak, Shan Shan Huang, Martin Bravenboer, Micah Sherr, Boon Thau Loo, Molham Aref	SecureBlox: customizable secure distributed data processing.	SIGMOD Conference	2010	DBLP DOI BibTeX RDF	secure data management, datalog, distributed query processing
12	Grégoire Dooms, Pascal Van Hentenryck, Laurent Michel	Model-driven visualizations of constraint-based local search.	Constraints An Int. J.	2009	DBLP DOI BibTeX RDF	Model-driven visualization, Constraint-based local search, Optimization algorithm
12	Gary Grider, James Nunez, John Bent, Steve Poole 0001, Robert B. Ross, Evan Felix	Coordinating government funding of file system and I/O research through the high end computing university research activity.	ACM SIGOPS Oper. Syst. Rev.	2009	DBLP DOI BibTeX RDF
12	Arvind Arasu, Christopher Ré, Dan Suciu	Large-Scale Deduplication with Constraints Using Dedupalog.	ICDE	2009	DBLP DOI BibTeX RDF
12	Yulin Qin	Some Web Intelligence Oriented Brain Informatics Studies.	Brain Informatics	2009	DBLP DOI BibTeX RDF
12	Dean Voets	Research Summary: Non-termination Analysis of Logic Programs.	ICLP	2009	DBLP DOI BibTeX RDF
12	Xiaoyong Chai, Ba-Quy Vuong, AnHai Doan, Jeffrey F. Naughton	Efficiently incorporating user feedback into information extraction and integration programs.	SIGMOD Conference	2009	DBLP DOI BibTeX RDF	incremental execution, information extraction, information integration, provenance, user feedback
12	Karen Zee, Viktor Kuncak, Martin C. Rinard	An integrated proof language for imperative programs.	PLDI	2009	DBLP DOI BibTeX RDF	verification, theorem prover, proof system
12	Christian Y. A. Brenninkmeijer, Ixent Galpin, Alvaro A. A. Fernandes, Norman W. Paton	Validated cost models for sensor network queries.	DMSN	2009	DBLP DOI BibTeX RDF
12	Pierre Kelsen, Qin Ma 0002	Domain Hierarchies: A Basic Theoretical Framework for Integrating Software Domains.	TASE	2009	DBLP DOI BibTeX RDF
12	João Leite 0001, José Júlio Alferes, Belopeta Mito	Resource allocation with answer-set programming.	AAMAS (1)	2009	DBLP BibTeX RDF	resource allocation, answer-set programming, preference representation
12	Mehdi Dastani	2APL: a practical agent programming language.	Auton. Agents Multi Agent Syst.	2008	DBLP DOI BibTeX RDF
12	Jean-François Boulicaut	If Constraint-Based Mining is the Answer: What is the Constraint? (Invited Talk).	ICDM Workshops	2008	DBLP DOI BibTeX RDF
12	Ixent Galpin, Christian Y. A. Brenninkmeijer, Farhana Jabeen, Alvaro A. A. Fernandes, Norman W. Paton	An Architecture for Query Optimization in Sensor Networks.	ICDE	2008	DBLP DOI BibTeX RDF
12	Bernhard Schätz	Formalization and Rule-Based Transformation of EMF Ecore-Based Models.	SLE	2008	DBLP DOI BibTeX RDF
12	Jie Mao, John Jannotti, Mert Akdere, Ugur Çetintemel	Event-based constraints for sensornet programming.	DEBS	2008	DBLP DOI BibTeX RDF	sensor networks, constraints, programming model, complex event
12	Christiane Reisse, Christoph Burghardt, Florian Marquardt, Thomas Kirste, Adelinde M. Uhrmacher	Smart environments meet the semantic web.	MUM	2008	DBLP DOI BibTeX RDF	semantic web, smart environments
12	Kris Gybels, Charlotte Herzeel, Theo D'Hondt	Symbiosis in logic-based pointcuts over a history of join points.	SAC	2008	DBLP DOI BibTeX RDF	history-based pointcuts, linguistic symbiosis, logic-based pointcuts, aspect-oriented programming, multi-paradigm programming
12	Marius Nita, Dan Grossman	Automatic Transformation of Bit-Level C Code to Support Multiple Equivalent Data Layouts.	CC	2008	DBLP DOI BibTeX RDF
12	Kay-Uwe Schmidt, Ljiljana Stojanovic	From Business Rules to Application Rules in Rich Internet Applications.	BIS	2008	DBLP DOI BibTeX RDF	Production Engine, Model Driven Architecture, Complex Event Processing, Rich Internet Application, Event Condition Action Rules
12	Henri Eberspächer, Michelle Joab	An Intelligent Web-Based Learning System for Group Collaboration Using Contracts.	Intelligent Tutoring Systems	2008	DBLP DOI BibTeX RDF	Intelligent Web-based learning, Role-based collaboration, Contract
12	Georg Boenn, Martin Brain, Marina De Vos, John ffitch	Automatic Composition of Melodic and Harmonic Music by Answer Set Programming.	ICLP	2008	DBLP DOI BibTeX RDF
12	Christopher Olston, Benjamin C. Reed, Utkarsh Srivastava, Ravi Kumar 0001, Andrew Tomkins	Pig latin: a not-so-foreign language for data processing.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	pig latin, dataflow language
12	Jeffrey Heer, Maneesh Agrawala, Wesley Willett	Generalized selection via interactive query relaxation.	CHI	2008	DBLP DOI BibTeX RDF	information visualization, annotation, selection, pointing, reference, query relaxation, input techniques
12	Duc-Hanh Dang, Martin Gogolla	On Integrating OCL and Triple Graph Grammars.	MoDELS (Workshops)	2008	DBLP DOI BibTeX RDF
12	Andreas Langegger	Virtual data integration on the web: novel methods for accessing heterogeneous and distributed data with rich semantics.	iiWAS	2008	DBLP DOI BibTeX RDF	SPARQL query optimization, federated SPARQL, web data integration, semantic data integration
12	Rolf Schwitter	Working for Two: A Bidirectional Grammar for a Controlled Natural Language.	Australasian Conference on Artificial Intelligence	2008	DBLP DOI BibTeX RDF	Grammar Engineering, Knowledge Representation, Question Answering, Human-Computer Interfaces, Controlled Natural Languages
12	Austin Parker, V. S. Subrahmanian, John Grant	A Logical Formulation of Probabilistic Spatial Databases.	IEEE Trans. Knowl. Data Eng.	2007	DBLP DOI BibTeX RDF	Spatial Database, Probabilistic Database
12	Catholijn M. Jonker, Jan Treur, Wouter C. A. Wijngaards	Specification, analysis and simulation of the dynamics within an organisation.	Appl. Intell.	2007	DBLP DOI BibTeX RDF	Simulation, Dynamics, Organisation modelling
12	Sebastian Bader 0001, Pascal Hitzler, Steffen Hölldobler, Andreas Witzel	The Core Method: Connectionist Model Generation for First-Order Logic Programs.	Perspectives of Neural-Symbolic Integration	2007	DBLP DOI BibTeX RDF
12	Sofie Goderis, Dirk Deridder, Ellen Van Paesschen	DEUCE : Separating Concerns in User Interfaces.	ICSEA	2007	DBLP DOI BibTeX RDF
12	Jürgen Dunkel, Ralf Bruns	Model-Driven Architecture for Mobile Applications.	BIS	2007	DBLP DOI BibTeX RDF	code generation, model-driven architecture (MDA), mobile applications, meta models, XForms
12	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	A Sampler of Application Areas.	All About Maude	2007	DBLP DOI BibTeX RDF
12	Jürgen Weitkämper, Thomas Brinkhoff	XFormsGI - Extending XForms for Geospatial and Sensor Data.	W2GIS	2007	DBLP DOI BibTeX RDF	Geographic Information Systems (GIS), Location-Based Services (LBS), Sensors, User Interaction, SVG, XForms
12	Martin Brain, Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran	Debugging ASP Programs by Means of ASP.	LPNMR	2007	DBLP DOI BibTeX RDF
12	Salvador Trujillo, Maider Azanza, Oscar Díaz	Generative metaprogramming.	GPCE	2007	DBLP DOI BibTeX RDF	feature oriented model-driven development, generative metaprogramming, software product lines, generative programming, metaprogramming
12	Bernd Braßel, Michael Hanus, Sebastian Fischer 0001, Frank Huch, Germán Vidal	Lazy call-by-value evaluation.	ICFP	2007	DBLP DOI BibTeX RDF	debugging techniques, laziness
12	Tao Gong 0002, Andrew Tuson	Enhanced forma analysis of permutation problems.	GECCO	2007	DBLP DOI BibTeX RDF	forma analysis, constraint satisfaction, permutation problems
12	Mehdi Dastani, John-Jules Ch. Meyer	A Practical Agent Programming Language.	PROMAS	2007	DBLP DOI BibTeX RDF
12	Taylor L. Riché, R. Greg Lavender, Harrick M. Vin	Lagniappe: Multi-* Programming Made Simple.	ICCCN	2007	DBLP DOI BibTeX RDF
12	Paul M. K. Gordon, Edward A. Kawas, Mark D. Wilkinson, Christoph W. Sensen	Using a Novel Data Transformation Technique to Provide the EMBOSS Software Suite as Semantic Web Services.	BIBM	2007	DBLP DOI BibTeX RDF
12	Wlodzimierz Drabent, Jan Maluszynski	Well-Founded Semantics for Hybrid Rules.	RR	2007	DBLP DOI BibTeX RDF
12	Mehdi Dastani, Dirk Hobo, John-Jules Ch. Meyer	Practical extensions in agent programming languages.	AAMAS	2007	DBLP DOI BibTeX RDF	agent programming language, cognitive agents
12	Sebastian Sardiña, Lin Padgham	Goals in the context of BDI plan failure and planning.	AAMAS	2007	DBLP DOI BibTeX RDF
12	Nicola Leone, Gerald Pfeifer, Wolfgang Faber 0001, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello	The DLV system for knowledge representation and reasoning.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	computational complexity, knowledge representation, implementation, nonmonotonic reasoning, stable models, Answer sets
12	Jesper Andersen, Ebbe Elsborg, Fritz Henglein, Jakob Grue Simonsen, Christian Stefansen	Compositional specification of commercial contracts.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF
12	Thomas M. Powers	Prospects for a Kantian Machine.	IEEE Intell. Syst.	2006	DBLP DOI BibTeX RDF	rules, nonmonotonic reasoning, commonsense reasoning, machine ethics
12	Georg Struth	Constructing Rewrite-Based Decision Procedures for Embeddings and Termination.	MPC	2006	DBLP DOI BibTeX RDF
12	Michael Eichberg, Daniel Germanus, Mira Mezini, Lukas Mrokon, Thorsten Schäfer	QScope: an Open, Extensible Framework for Measuring Software Projects.	CSMR	2006	DBLP DOI BibTeX RDF
12	Dirk Draheim, Peter Thiemann 0001, Gerald Weber	A Spreadsheet Client for Web Applications.	NGITS	2006	DBLP DOI BibTeX RDF
12	Chitta Baral, Juraj Dzifcak, Hiro Takahashi	Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming.	ICLP	2006	DBLP DOI BibTeX RDF
12	Amol Deshpande, Samuel Madden 0001	MauveDB: supporting model-based user views in database systems.	SIGMOD Conference	2006	DBLP DOI BibTeX RDF	sensor networks, query processing, regression, statistical models, views, uncertain data