Search results for "declarative"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Tom J. Ameloot	Declarative Networking: Recent Theoretical Work on Coordination, Correctness, and Declarative Semantics.	SIGMOD Rec.	2014	DBLP DOI BibTeX RDF
23	Michael Hanus, Ricardo Rocha 0001 (eds.)	Declarative Programming and Knowledge Management - Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers	KDPD	2014	DBLP DOI BibTeX RDF
23	Paul Tarau	A Declarative Specification of Giant Number Arithmetic.	PADL	2014	DBLP DOI BibTeX RDF
23	Salvador Lucas, José Meseguer 0001	Proving Operational Termination of Declarative Programs in General Logics.	PPDP	2014	DBLP DOI BibTeX RDF
23	Henrik Nilsson, Ivan Perez 0001	Declarative Game Programming: Distilled Tutorial.	PPDP	2014	DBLP DOI BibTeX RDF
23	Jerzy Karczmarczuk	On the Declarative Structure of Quantum Concepts: States and Observables (Distilled Tutorial).	PPDP	2014	DBLP DOI BibTeX RDF
23	Ralf Lämmel, Andrei Varanovich, Martin Leinberger, Thomas Schmorleiz, Jean-Marie Favre	Declarative Software Development: Distilled Tutorial.	PPDP	2014	DBLP DOI BibTeX RDF
23	Vitor Rodrigues, Benny Akesson, Simão Melo de Sousa, Mário Florido	A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction.	PADL	2013	DBLP DOI BibTeX RDF
23	Benjamin Canou, Emmanuel Chailloux, Vincent Balat	A Declarative-Friendly API for Web Document Manipulation.	PADL	2013	DBLP DOI BibTeX RDF
23	Rui Machado, Salvador Abreu, Daniel Diaz 0001	Parallel Performance of Declarative Programming Using a PGAS Model.	PADL	2013	DBLP DOI BibTeX RDF
23	Paul Klint, Atze van der Ploeg	A Library for Declarative Resolution-Independent 2D Graphics.	PADL	2013	DBLP DOI BibTeX RDF
23	Yngve Lamo, Florian Mantz, Adrian Rutle, Juan de Lara	A declarative and bidirectional model transformation approach based on graph co-spans.	PPDP	2013	DBLP DOI BibTeX RDF
23	Alexander Simko	A Descriptive Handling of Directly Conflicting Rules in Preferred Answer Sets.	KDPD	2013	DBLP DOI BibTeX RDF
23	Jomu George Mani Paret, Otmane Aït Mohamed	Coverage Driven Test Generation and Consistency Algorithm.	KDPD	2013	DBLP DOI BibTeX RDF
23	Christoph Beierle, Udo Lelitko	On a High-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry.	KDPD	2013	DBLP DOI BibTeX RDF
23	Baltasar Trancón y Widemann, Markus Lepper 0001	Some Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley.	KDPD	2013	DBLP DOI BibTeX RDF
23	Alexander Bau, Johannes Waldmann	Propositional Encoding of Constraints over Tree-Shaped Data.	KDPD	2013	DBLP DOI BibTeX RDF
23	Thomas Eiter, Michael Fink 0001, Thomas Krennwallner, Christoph Redl	hex-Programs with Existential Quantification.	KDPD	2013	DBLP DOI BibTeX RDF
23	Gerald Berger, Hans Tompits	On Axiomatic Rejection for the Description Logic ALC.	KDPD	2013	DBLP DOI BibTeX RDF
23	Carlos Alberto Martinez-Angeles, Inês de Castro Dutra, Vítor Santos Costa, Jorge Buenabad-Chávez	A Datalog Engine for GPUs.	KDPD	2013	DBLP DOI BibTeX RDF
23	Claus Zinn	Heuristic Search over Program Transformations.	KDPD	2013	DBLP DOI BibTeX RDF
23	Guohua Liu, Tomi Janhunen, Ilkka Niemelä	Introducing Real Variables and Integer Objective Functions to Answer Set Programming.	KDPD	2013	DBLP DOI BibTeX RDF
23	Ella Albrecht, Patrick Krümpelmann, Gabriele Kern-Isberner	Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs.	KDPD	2013	DBLP DOI BibTeX RDF
23	Rana Awada, Pablo Barceló, Iluju Kiringa	Sharing and Exchanging Data.	KDPD	2013	DBLP DOI BibTeX RDF
23	Chiaki Sakama	Debate Games in Logic Programming.	KDPD	2013	DBLP DOI BibTeX RDF
23	Danny Munera, Daniel Diaz 0001, Salvador Abreu	Towards Parallel Constraint-Based Local Search with the X10 Language.	KDPD	2013	DBLP DOI BibTeX RDF
23	Nikita Danilenko	And... Action! - Monoid Actions and (Pre)orders.	KDPD	2013	DBLP DOI BibTeX RDF
23	Imene Mami	A Declarative Approach to Modeling and Solving the View Selection Problem. (Une approche déclarative pour la modélisation et la résolution du problème de la sélection de vues à matérialiser).		2012	RDF
23	Yuliya Lierler, Shaden Smith, Miroslaw Truszczynski, Alex Westlund	Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem-Oriented Solving.	PADL	2012	DBLP DOI BibTeX RDF
23	Boon Thau Loo, Harjot Gill, Changbin Liu, Yun Mao, William R. Marczak, Micah Sherr, Anduo Wang, Wenchao Zhou	Recent Advances in Declarative Networking.	PADL	2012	DBLP DOI BibTeX RDF
23	Mayer Goldberg, Guy Wiener	A Declarative Approach for Software Modeling.	PADL	2012	DBLP DOI BibTeX RDF
23	Paul Tarau	A Declarative Specification of Tree-Based Symbolic Arithmetic Computations.	PADL	2012	DBLP DOI BibTeX RDF
23	Viviana Mascardi, James A. Hendler, Laura Papaleo	Semantic Web and Declarative Agent Languages and Technologies: Current and Future Trends - (Position Paper).	DALT	2012	DBLP DOI BibTeX RDF
23	Jacek Jankowski	Writing Effective Use Cases for the Declarative 3D for the Web Architecture.	Dec3D	2012	DBLP BibTeX RDF
23	Yvonne Jung, Jens Keil, Johannes Behr	Declarative (X)3D in HTML5.	Dec3D	2012	DBLP BibTeX RDF
23	Jean Le Feuvre	Towards Declarative 3D in Web Architecture.	Dec3D	2012	DBLP BibTeX RDF
23	Yvonne Jung, Johannes Behr, Timm Drevensek, Sebastian Wagner 0003	Declarative 3D Approaches for Distributed Web-based Scientific Visualization Services.	Dec3D	2012	DBLP BibTeX RDF
23	Mario Chiesa, Pino Lassandro	Declarative 3D Use-Cases for Galleries and Marketplaces.	Dec3D	2012	DBLP BibTeX RDF
23	Raimund Kirner, Frank Penczek, Alexander V. Shafarenko	Compilers must speak properties, not just code: CAL: constraint aggregation language for declarative component-coordination.	DAMP	2012	DBLP DOI BibTeX RDF
23	Macías López, Laura M. Castro, David Cabrero	Declarative distributed advertisement system for iDTV: an industrial experience.	PPDP	2012	DBLP DOI BibTeX RDF
23	Eric Holk, William E. Byrd, Jeremiah Willcock, Torsten Hoefler, Arun Chauhan 0001, Andrew Lumsdaine	Kanor - A Declarative Language for Explicit Communication.	PADL	2011	DBLP DOI BibTeX RDF
23	Christoph Redl, Thomas Eiter, Thomas Krennwallner	Declarative Belief Set Merging Using Merging Plans.	PADL	2011	DBLP DOI BibTeX RDF
23	Pavel Krajcevski, John H. Reppy	A Declarative API for Particle Systems.	PADL	2011	DBLP DOI BibTeX RDF
23	Alexander V. Shafarenko	Declarative coordination in a multicore environment: the tyranny of streams.	DAMP	2011	DBLP DOI BibTeX RDF
23	Radim Belohlávek, Lucie Urbanova, Vilém Vychodil	Sensitivity Analysis for Declarative Relational Query Languages with Ordinal Ranks.	INAP/WLP	2011	DBLP DOI BibTeX RDF
23	Christoph Beierle, Gabriele Kern-Isberner, Karl Södler	A Declarative Approach for Computing Ordinal Conditional Functions Using Constraint Logic Programming.	INAP/WLP	2011	DBLP DOI BibTeX RDF
23	Georg Sauthoff, Stefan Janssen, Robert Giegerich	Bellman's GAP: a declarative language for dynamic programming.	PPDP	2011	DBLP DOI BibTeX RDF
23	Rafael del Vado Vírseda, Fernando Pérez Morente	A modular semantics for higher-order declarative programming with constraints.	PPDP	2011	DBLP DOI BibTeX RDF
23	Michael Hanus, Sven Koschnicke	An ER-Based Framework for Declarative Web Programming.	PADL	2010	DBLP DOI BibTeX RDF
23	Louise A. Dennis, Michael Fisher 0001, Nicholas Lincoln, Alexei Lisitsa 0001, Sandor M. Veres	Declarative Abstractions for Agent Based Hybrid Control Systems.	DALT	2010	DBLP DOI BibTeX RDF
23	Satnam Singh	Declarative data-parallel programming with the accelerator system.	DAMP	2010	DBLP DOI BibTeX RDF	data-parallelsim
23	Paul Tarau	Declarative modeling of finite mathematics.	PPDP	2010	DBLP DOI BibTeX RDF
23	Benjamin Sowell, Alan J. Demers, Johannes Gehrke, Nitin Gupta 0003, Haoyuan Li 0001, Walker M. White	From Declarative Languages to Declarative Processing in Computer Games	CoRR	2009	DBLP BibTeX RDF
23	Ben Sowell, Alan J. Demers, Johannes Gehrke, Nitin Gupta 0003, Haoyuan Li 0001, Walker M. White	From Declarative Languages to Declarative Processing in Computer Games.	CIDR	2009	DBLP BibTeX RDF
23	Babak Khosravifar, Jamal Bentahar, Maziar Gomrokchi	Declarative and Numerical Analysis of Edge Creation Process in Trust-Based Social Networks.	DALT	2009	DBLP DOI BibTeX RDF
23	Paul Tarau	An embedded declarative data transformation language.	PPDP	2009	DBLP DOI BibTeX RDF	computational mathematics, dag and hypergraph encodings, functions and permutations, goedel numberings, hereditarily finite sets, pairing functions, prolog data representations, ranking/unranking bijections, digraph
23	Oleg Kiselyov, William E. Byrd, Daniel P. Friedman, Chung-chieh Shan	Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl).	FLOPS	2008	DBLP DOI BibTeX RDF
23	Ulrich Neumerkel, Markus Triska, Jan Wielemaker	Declarative language extensions for prolog courses.	FDPE@ICFP	2008	DBLP DOI BibTeX RDF
23	Masanobu Umeda, Armin Wolf, Oskar Bartenstein, Ulrich Geske, Dietmar Seipel, Osamu Takata (eds.)	Declarative Programming for Knowledge Management, 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005, Revised Selected Papers	INAP	2006	DBLP DOI BibTeX RDF
23	Dietmar Seipel, Michael Hanus, Ulrich Geske, Oskar Bartenstein (eds.)	Applications of Declarative Programming and Knowledge Management, 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers	INAP/WLP	2005	DBLP DOI BibTeX RDF
23	Raphaël La Greca	Approche déclarative de la modélisation de surfaces. (Declarative Approach of Surfaces Modelling).		2005	RDF
23	Norman Ramsey	Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction.	PADL	2005	DBLP DOI BibTeX RDF
23	Radha Jagadeesan, Will Marrero, Corin Pitcher, Vijay A. Saraswat	Timed constraint programming: a declarative approach to usage control.	PPDP	2005	DBLP DOI BibTeX RDF	constraints, role-based access control, trust management, reactive systems, usage control
23	Oskar Bartenstein	ubiCMS - A Prolog Based Content Management System.	INAP	2005	DBLP DOI BibTeX RDF
23	Petra Hofstedt, Olaf Krzikalla	TURTLE++ - A CIP-Library for C++.	INAP	2005	DBLP DOI BibTeX RDF
23	Virginia Dignum	An Overview of Agents in Knowledge Management.	INAP	2005	DBLP DOI BibTeX RDF
23	Andreas Schutt, Armin Wolf, Gunnar Schrader	Not-First and Not-Last Detection for Cumulative Scheduling in O(n3logn).	INAP	2005	DBLP DOI BibTeX RDF
23	Masanobu Umeda, Keiichi Katamine, Isao Nagasawa, Masaaki Hashimoto, Osamu Takata	Multi-threading Inside Prolog for Knowledge-Based Enterprise Applications.	INAP	2005	DBLP DOI BibTeX RDF
23	Naoyuki Tamura	Calc/Cream: OpenOffice Spreadsheet Front-End for Constraint Programming.	INAP	2005	DBLP DOI BibTeX RDF
23	Tatsuichiro Nagai, Isao Nagasawa, Masanobu Umeda, Tatsuji Higuchi, Yasuyuki Nishidai, Yusuke Kitagawa, Tsuyoshi Tsurusaki, Masahito Ohhashi, Osamu Takata	A Design Product Model for Mechanism Parts by Injection Molding.	INAP	2005	DBLP DOI BibTeX RDF
23	Osamu Takata, Yuji Mure, Yasuo Nakashima, Masuharu Ogawa, Masanobu Umeda, Isao Nagasawa	A Knowledge-Based System for Process Planning in Cold Forging Using the Adjustment of Stepped Cylinder Method.	INAP	2005	DBLP DOI BibTeX RDF
23	Akihiro Yamamoto	Inductive Logic Programming: Yet Another Application of Logic.	INAP	2005	DBLP DOI BibTeX RDF
23	Salvador Abreu, Vítor Nogueira	Using a Logic Programming Language with Persistence and Contexts.	INAP	2005	DBLP DOI BibTeX RDF
23	Visit Hirankitti, Vuong Xuan Tran	A Meta-logical Approach for Multi-agent Communication of Semantic Web Information.	INAP	2005	DBLP DOI BibTeX RDF
23	Armin Wolf, Gunnar Schrader	O(n logn) Overload Checking for the Cumulative Constraint and Its Application.	INAP	2005	DBLP DOI BibTeX RDF
23	Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue	Prolog Cafe : A Prolog to Java Translator System.	INAP	2005	DBLP DOI BibTeX RDF
23	Nikolai Kosmatov	Constraint Solving for Sequences in Software Validation and Verification.	INAP	2005	DBLP DOI BibTeX RDF	verification, validation, sequences, constraint solver
23	Thomas Kleemann, Alex Sinner	User Profiles and Matchmaking on Mobile Phones.	INAP	2005	DBLP DOI BibTeX RDF
23	Hiroshi Sakai	On a Rough Sets Based Data Mining Tool in Prolog: An Overview.	INAP	2005	DBLP DOI BibTeX RDF
23	Andrew Fall	Supporting Decisions in Complex, Uncertain Domains with Declarative Languages.	PADL	2004	DBLP DOI BibTeX RDF
23	Miguel García-Díaz, Susana Nieva	Providing declarative semantics for HH extended constraint logic programs.	PPDP	2004	DBLP DOI BibTeX RDF
23	Sheila A. McIlraith	Invited talk: towards declarative programming for web services.	PPDP	2004	DBLP DOI BibTeX RDF	ontologies, web services, semantic web, OWL, web service composition, automated reasoning
23	Shuichi Fukuda	Concurrent Engineering to Wisdom Engineering.	INAP/WLP	2004	DBLP DOI BibTeX RDF
23	Armin Wolf, Hans Schlenker	Realising the Alternative Resources Constraint.	INAP/WLP	2004	DBLP DOI BibTeX RDF
23	Xuequn Shang, Kai-Uwe Sattler, Ingolf Geist	SQL Based Frequent Pattern Mining with FP-Growth.	INAP/WLP	2004	DBLP DOI BibTeX RDF
23	Misa Keinänen, Ilkka Niemelä	Solving Alternating Boolean Equation Systems in Answer Set Programming.	INAP/WLP	2004	DBLP DOI BibTeX RDF
23	Ulrich John, Ulrich Geske	Integrating Time Constraints into Constraint-Based Configuration Models.	INAP/WLP	2004	DBLP DOI BibTeX RDF
23	Werner Winiwarter	Incremental Learning of Transfer Rules for Customized Machine Translation.	INAP/WLP	2004	DBLP DOI BibTeX RDF
23	Bernd D. Heumesser, Andreas Ludwig, Dietmar Seipel	Web Services Based on Prolog and Xml.	INAP/WLP	2004	DBLP DOI BibTeX RDF
23	Dennis P. Groth	An Evaluation of a Rule-Based Language for Classification Queries.	INAP/WLP	2004	DBLP DOI BibTeX RDF
23	Hans Schlenker	Distributed Constraint-Based Railway Simulation.	INAP/WLP	2004	DBLP DOI BibTeX RDF
23	Kimiaki Shirahama, Yuya Matsuo, Kuniaki Uehara	Mining Semantic Structures in Movies.	INAP/WLP	2004	DBLP DOI BibTeX RDF
23	Hiroki Takahashi, Osamu Yoshie	Towards Ubiquitous Maintenance - Defining Invocation of Plant Maintenance Agents in Real Workspace by Spatial Programming.	INAP/WLP	2004	DBLP DOI BibTeX RDF
23	Martin Atzmüller, Joachim Baumeister, Frank Puppe	Quality Measures and Semi-automatic Mining of Diagnostic Rule Bases.	INAP/WLP	2004	DBLP DOI BibTeX RDF
23	Oskar Bartenstein	DialogEngines - Dialog Agents for Web-Based Self Service Consulting.	INAP/WLP	2004	DBLP DOI BibTeX RDF
23	Christoph Beierle, Marija Kulas, Manfred Widera	A Pragmatic Approach to Pre-testing Prolog Programs.	INAP/WLP	2004	DBLP DOI BibTeX RDF
23	Peter Baumgartner 0001, Ulrich Furbach, Margret Groß-Hardt, Thomas Kleemann	Optimizing the Evaluation of XPath Using Description Logics.	INAP/WLP	2004	DBLP DOI BibTeX RDF	XML, Description Logics, XPath, automated reasoning, Schema, DTD
23	Elisabetta Poleo, Gianfranco Rossi	JAVASET: Declarative Programming in Java with Sets.	APPIA-GULP-PRODE	2003	DBLP BibTeX RDF
23	Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky	Probabilistic confinement in a declarative framework.	APPIA-GULP-PRODE	2001	DBLP DOI BibTeX RDF
23	Antonio Brogi, Gianluca Caruso	From Subject Directories to Subject Meta-directories via Declarative Programming.	PADL	2001	DBLP DOI BibTeX RDF	subject directories, Prolog, Web-programming