Search results for "declarative"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Andreas Bollin	Crossing the Borderline - From Formal to Semi-Formal Specifications.	SET	2006	DBLP DOI BibTeX RDF
12	Giorgio Ghelli, Christopher Ré, Jérôme Siméon	XQuery!: An XML Query Language with Side Effects.	EDBT Workshops	2006	DBLP DOI BibTeX RDF
12	Philip W. L. Fong, Simon A. Orr	A Module System for Isolating Untrusted Software Extensions.	ACSAC	2006	DBLP DOI BibTeX RDF
12	Laura M. Haas, Mauricio A. Hernández, Howard Ho, Lucian Popa 0001, Mary Roth	Clio grows up: from research prototype to industrial tool.	SIGMOD Conference	2005	DBLP DOI BibTeX RDF
12	Dmitry Kochin, Leonas Ustinovichius, Victoria Sliesoraitiene	Implicit Learning System for Teaching the Art of Acute Cardiac Infarction Diagnosis.	AIME	2005	DBLP DOI BibTeX RDF
12	Fabiel Zúñiga, Félix F. Ramos 0001, H. Iván Piza	GeDA-3D Agent Architecture.	ICPADS (2)	2005	DBLP DOI BibTeX RDF
12	Torbjörn Ekman 0001, Görel Hedin	Modular Name Analysis for Java Using JastAdd.	GTTSE	2005	DBLP DOI BibTeX RDF
12	Neung Eun Kang, Wan Chul Yoon	A cognitive modeling of the user's exploratory behavior with prior knowledge.	TAMODIA	2005	DBLP DOI BibTeX RDF	convergence device, exploratory behavior, non-planned task, opportunistic activity, cognitive model, prior knowledge
12	Thomas Skylogiannis, Grigoris Antoniou, Nick Bassiliades, Guido Governatori	DR-NEGOTIATE - A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies.	EEE	2005	DBLP DOI BibTeX RDF
12	Ingo Schmitt, Nadine Schulz, Thomas Herstel	WS-QBE: A QBE-Like Query Language for Complex Multimedia Queries.	MMM	2005	DBLP DOI BibTeX RDF
12	Vincent Oria, M. Tamer Özsu, Paul Iglinski	Foundation of the DISIMA Image Query Languages.	Multim. Tools Appl.	2004	DBLP DOI BibTeX RDF	image content modelling, image content-based querying, image databases, multimedia databases
12	Stephanie A. Guerlain, Kristen Brook Green, Marcel C. LaFollette, T. C. Mersch, B. A. Mitchell, G. R. Poole, James Forrest Calland, Jianhong Lv, E. G. Chekan	Improving surgical pattern recognition through repetitive viewing of video clips.	IEEE Trans. Syst. Man Cybern. Part A	2004	DBLP DOI BibTeX RDF
12	Robert C. Steinke, Gary J. Nutt	A unified theory of shared memory consistency.	J. ACM	2004	DBLP DOI BibTeX RDF	memory consistency model lattice, memory consistency models, Distributed shared memory systems
12	Phan Minh Dung, Phan Minh Thang	Stepwise development of security protocols: a speech act-oriented approach.	FMSE	2004	DBLP DOI BibTeX RDF	security protocols, cryptographic protocols
12	Neoklis Polyzotis, Minos N. Garofalakis, Yannis E. Ioannidis	Selectivity Estimation for XML Twigs.	ICDE	2004	DBLP DOI BibTeX RDF
12	Félix F. Ramos 0001, H. Iván Piza, Fabiel Zúñiga	GeDA-3D a Middleware Useful to Handle the Evolution in Behavioral Animation-Based Virtual Worlds with a Multi-agent Architecture.	IICS	2004	DBLP DOI BibTeX RDF
12	Salvador España Boquera, Vicent Estruch	A Memoizing Semantics for Functional Logic Languages.	ESOP	2004	DBLP DOI BibTeX RDF	Programming languages, formal semantics, memoization
12	Peep Küngas, Jinghai Rao, Mihhail Matskin	Symbolic Agent Negotiation for Semantic Web Service Exploitation.	WAIM	2004	DBLP DOI BibTeX RDF
12	Tomi Janhunen, Emilia Oikarinen	LPEQ and DLPEQ - Translators for Automated Equivalence Testing of Logic Programs.	LPNMR	2004	DBLP DOI BibTeX RDF
12	Claudio Bartolini, Chris Preist, Nicholas R. Jennings	A Software Framework for Automated Negotiation.	SELMAS	2004	DBLP DOI BibTeX RDF
12	Andrea Bracciali, Neophytos Demetriou, Ulrich Endriss, Antonis C. Kakas, Wenjin Lu, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Giacomo Terreni, Francesca Toni	The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation.	Global Computing	2004	DBLP DOI BibTeX RDF
12	Ingo Schmitt, Nadine Schulz	Similarity Relational Calculus and its Reduction to a Similarity Algebra.	FoIKS	2004	DBLP DOI BibTeX RDF
12	Dino Pedreschi, Salvatore Ruggieri, Jan-Georg Smaus	Characterisations of Termination in Logic Programming.	Program Development in Computational Logic	2004	DBLP DOI BibTeX RDF
12	Chutiporn Anutariya, Somchai Chatvichienchai, Mizuho Iwaihara, Vilas Wuwongse, Yahiko Kambayashi	A Rule-Based XML Access Control Model.	RuleML	2003	DBLP DOI BibTeX RDF
12	Maria Bergholtz, Prasad Jayaweera, Paul Johannesson, Petia Wohed	Reconciling Physical, Communicative, and Social/Institutional Domains in Agent Oriented Information Systems ? A Unified Framework.	ER (Workshops)	2003	DBLP DOI BibTeX RDF
12	Gary W. King, Clayton T. Morrison, Paul R. Cohen	Agent models I: action models.	WSC	2003	DBLP DOI BibTeX RDF
12	Maria Bergholtz, Prasad Jayaweera, Paul Johannesson, Petia Wohed	Modelling Institutional, Communicative and Physical Domains in Agent Oriented Information Systems.	AOIS	2003	DBLP DOI BibTeX RDF
12	Guy W. Mineau	Representing and Enforcing Interaction Protocols in Multi-Agent Systems: an Approach Based on Conceptual Graphs.	IAT	2003	DBLP DOI BibTeX RDF
12	Lin Chai	To Have or Have Not: An Examination of Feedback, Learner Control and Knowledge Type in Online Learning.	HICSS	2003	DBLP DOI BibTeX RDF
12	Yuangui Lei, Enrico Motta, John Domingue	Design of customized web applications with OntoWeaver.	K-CAP	2003	DBLP DOI BibTeX RDF	customization modelling, web site modelling, web site design
12	Sandeep Tata, Jignesh M. Patel	PiQA: An Algebra for Querying Protein Data Sets.	SSDBM	2003	DBLP DOI BibTeX RDF
12	Yong Yao 0002, Johannes Gehrke	The Cougar Approach to In-Network Query Processing in Sensor Networks.	SIGMOD Rec.	2002	DBLP DOI BibTeX RDF
12	Phan Minh Dung, Paolo Mancarella	Production Systems with Negation as Failure.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	knowledge representation, knowledge-based systems, expert systems, rule-based systems, rule-based processing
12	Sunny K. S. Lam, M. Tamer Özsu	Querying Web Data - The WebQA Approach.	WISE	2002	DBLP DOI BibTeX RDF
12	Laurent Michel, Pascal Van Hentenryck	A constraint-based architecture for local search.	OOPSLA	2002	DBLP DOI BibTeX RDF	optimization, constraint, local search, incrementality
12	Ano Chotmanee, Vilas Wuwongse, Chutiporn Anutariya	A Schema Language for MPEG-7.	ICADL	2002	DBLP DOI BibTeX RDF
12	Carlo Zaniolo	Key Constraints and Monotonic Aggregates in Deductive Databases.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
12	Santosh A. Mathan, Kenneth R. Koedinger	An Empirical Assessment of Comprehension Fostering Features in an Intelligent Tutoring System.	Intelligent Tutoring Systems	2002	DBLP DOI BibTeX RDF
12	Iraklis Paraskakis	TeLoDe : Towards Creating an Intelligent Computer Algebra System.	Intelligent Tutoring Systems	2002	DBLP DOI BibTeX RDF
12	Hasan M. Jamil, Gillian Dobbie	A Model Theoretic Semantics for Multi-level Secure Deductive Databases.	ICLP	2002	DBLP DOI BibTeX RDF	MLS databases, belief assertion, security, reasoning, deductive databases, soundness and completeness
12	Alessandra Raffaetà, Franco Turini, Chiara Renso	Enhancing GISs for spatio-temporal reasoning.	ACM-GIS	2002	DBLP DOI BibTeX RDF	spatio-temporal knowledge representation and reasoning, geographical information systems, constraint logic programming
12	Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov	Korat: automated testing based on Java predicates.	ISSTA	2002	DBLP DOI BibTeX RDF
12	Maxim Grinev, Sergei D. Kuznetsov	Towards an Exhaustive Set of Rewriting Rules for XQuery Optimization: BizQuery Experience.	ADBIS	2002	DBLP DOI BibTeX RDF
12	Alex Mohr, Michael Gleicher	HijackGL: reconstructing from streams for stylized rendering.	NPAR	2002	DBLP DOI BibTeX RDF	non-invasive, non-photorealistic, real-time, interactive, 3D, stylized
12	Claudio Bartolini, Chris Preist, Nicholas R. Jennings	Architecting for Reuse: A Software Framework for Automated Negotiation.	AOSE	2002	DBLP DOI BibTeX RDF
12	Petra Hofstedt	A General Approach for Building Constraint Languages.	Australian Joint Conference on Artificial Intelligence	2002	DBLP DOI BibTeX RDF
12	Luigia Carlucci Aiello, Fabio Massacci	Verifying security protocols as planning in logic programming.	ACM Trans. Comput. Log.	2001	DBLP DOI BibTeX RDF	logic programming, specification language, security protocols, AI planning
12	Krzysztof R. Apt, Antonis C. Kakas, Fariba Sadri	Editorial.	ACM Trans. Comput. Log.	2001	DBLP DOI BibTeX RDF
12	Claudia Wenzel, Heiko Maus	Leveraging corporate context within knowledge-based document analysis and understanding.	Int. J. Document Anal. Recognit.	2001	DBLP DOI BibTeX RDF	Office processes, Document knowledge, Context information, Document analysis system
12	ByungHoon Kang, Robert Wilensky	Toward a model of self-administering data.	JCDL	2001	DBLP DOI BibTeX RDF	asynchonous collaboration, data access model, scalable update propagation, self-administering data, peer to peer, data management, file sharing, distributed file system
12	Ling-Ling Yan, Renée J. Miller, Laura M. Haas, Ronald Fagin	Data-Driven Understanding and Refinement of Schema Mappings.	SIGMOD Conference	2001	DBLP DOI BibTeX RDF
12	Rafael Ramírez 0001, Andrew E. Santosa	Event Logic Programming.	PaCT	2001	DBLP DOI BibTeX RDF
12	Xiang Fu 0001, Tevfik Bultan, Richard Hull 0001, Jianwen Su	Verification of Vortex Workflows.	TACAS	2001	DBLP DOI BibTeX RDF
12	Hasan M. Jamil	Mining First-Order Knowledge Bases for Association Rules.	ICTAI	2001	DBLP DOI BibTeX RDF
12	Christophe Ringeissen	Matching with Free Function Symbols - A Simple Extension of Matching?	RTA	2001	DBLP DOI BibTeX RDF
12	Simon White, Derek H. Sleeman	A grammar-driven knowledge acquisition tool that incorporates constraint propagation.	K-CAP	2001	DBLP DOI BibTeX RDF	SCREAMER+, constraint-augmented grammars, constraints, knowledge acquisition, formal grammars
12	Mohand-Said Hacid, Cyril Decleir, Jacques Kouloumdjian	A Database Approach for Modeling and Querying Video Data.	IEEE Trans. Knowl. Data Eng.	2000	DBLP DOI BibTeX RDF	Content-based access of video, rule-based query language, constraint query language, object-oriented modeling, video indexing, video database, video representation, video query
12	Luigia Carlucci Aiello, Fabio Massacci	An Executable Specification Language for Planning Attacks to Security Protocols.	CSFW	2000	DBLP DOI BibTeX RDF	Model Checking, Verification, Logic Programs, Planning, Specification Language, Security Protocols
12	Djamel Fezzani, Jocelyn Desbiens	WebGuide: Filtering and Constraining Site Browsing through Web Walker Techniques.	IDEAL	2000	DBLP DOI BibTeX RDF
12	Kit-Ying Hui, Peter M. D. Gray	Developing Finite Domain Constraints - A Data Model Approach.	Computational Logic	2000	DBLP DOI BibTeX RDF
12	Roger Hartley, Heather Pfeiffer	Visual Representation of Procedural Knowledge.	VL	2000	DBLP DOI BibTeX RDF
12	José Júlio Alferes, Luís Moniz Pereira	Updates plus Preferences.	JELIA	2000	DBLP DOI BibTeX RDF
12	Erik T. H. Fung	Abductive Approach to Prototyping Data Flow Diagrams.	APAQS	2000	DBLP DOI BibTeX RDF
12	Hiroshi H. Hasegawa, Takashi Washio, Yukari Ishimiya	"Thermodynamics" from Time Series Data Analysis.	Discovery Science	1999	DBLP DOI BibTeX RDF
12	Paul Hudak	Functional Reactive Programming (Abstract).	ESOP	1999	DBLP DOI BibTeX RDF
12	David Ginat, Eyal Shifroni	Teaching recursion in a procedural environment -- how much should we emphasize the computing model?	SIGCSE	1999	DBLP DOI BibTeX RDF	recursive formulation, problem decomposition
12	Mario Rodríguez-Artalejo	Functional and Constraint Logic Programming.	CCL	1999	DBLP BibTeX RDF
12	Gabriele Taentzer	Adding Visual Rules to Object-Oriented Modeling Techniques.	TOOLS (29)	1999	DBLP DOI BibTeX RDF	Modeling, design, UML, constraints, rules, graph transformation
12	Richard Kelsey, William D. Clinger, Jonathan Rees	Revised5 Report on the Algorithmic Language Scheme.	ACM SIGPLAN Notices	1998	DBLP DOI BibTeX RDF	SCHEME
12	Stephen H. Muggleton, Ashwin Srinivasan 0001, Ross D. King, Michael J. E. Sternberg	Biochemical Knowledge Discovery Using Inductive Logic Programming.	Discovery Science	1998	DBLP DOI BibTeX RDF
12	Wlodzimierz Drabent, Pawel Pietrzak	Type Analysis for CHIP.	AMAST	1998	DBLP DOI BibTeX RDF
12	Sophie Cluet, Claude Delobel, Jérôme Siméon, Katarzyna Smaga	Your Mediators Need Data Conversion!	SIGMOD Conference	1998	DBLP DOI BibTeX RDF
12	Mitch Cherniack, Stanley B. Zdonik	Changing the Rules: Transformations for Rule-Based Optimizers.	SIGMOD Conference	1998	DBLP DOI BibTeX RDF
12	Jean-René Beauvais, Roland Houdebine, Paul Le Guernic, Éric Rutten, Thierry Gautier	A Translation of Statecharts into Signal Approach of Time, Interoperability.	ACSD	1998	DBLP DOI BibTeX RDF
12	Tru H. Cao, Peter N. Creasy	Fuzzy Order-Sorted Logic Programming in Conceptual Graphs with a Sound and Complete Proof Procedure.	ICCS	1998	DBLP DOI BibTeX RDF
12	Julio C. Peralta, John P. Gallagher, Hüseyin Saglam	Analysis of Imperative Programs through Analysis of Constraint Logic Programs.	SAS	1998	DBLP DOI BibTeX RDF	Imperative Program Analysis, Operational Semantics, Partial Evaluation, Constraint Logic Programming
12	Kit-Ying Hui, Peter M. D. Gray	Constraint and Data Fusion in a Distributed Information System.	BNCOD	1998	DBLP DOI BibTeX RDF
12	Cyril Decleir, Mohand-Said Hacid, Jacques Kouloumdjian	Modeling and Querying Video Databases.	EUROMICRO	1998	DBLP DOI BibTeX RDF	Content-Based Access of Video, Rule-Based Query Languages, Constraint Query Languages, Object-Oriented Modeling
12	Philip Wadler	How to Declare an Imperative.	ACM Comput. Surv.	1997	DBLP DOI BibTeX RDF	functional programming, Haskell, monad
12	Brian Grant, Markus Mock, Matthai Philipose, Craig Chambers, Susan J. Eggers	Annotation-Directed Run-Time Specialization in C.	PEPM	1997	DBLP DOI BibTeX RDF	C
12	Joachim Hammer, Hector Garcia-Molina, Svetlozar Nestorov, Ramana Yerneni, Markus M. Breunig, Vasilis Vassalos	Template-Based Wrappers in the TSIMMIS System.	SIGMOD Conference	1997	DBLP DOI BibTeX RDF
12	Nicole Bidoit, Sofian Maabout	A Model Theoretic Approach to Update Rule Programs.	ICDT	1997	DBLP DOI BibTeX RDF	constraint, update, active databases, well-founded semantics
12	Ling Liu, Robert Meersman	The Building Blocks for Specifying Communication Behavior of Complex Objects: An Activity-Driven Approach.	ACM Trans. Database Syst.	1996	DBLP DOI BibTeX RDF	activity aggregation, activity specialization, synchronization schemes, object-oriented databases, activity patterns, communication behavior, first-order temporal logic
12	Roberto Barbuti, Paolo Mancarella	A Multiple-Valued Logical Semantics for Prolog.	ESOP	1996	DBLP DOI BibTeX RDF
12	Alberto Del Bimbo, Enrico Vicario	Specification by-Example of Virtual Agents Behavior.	IEEE Trans. Vis. Comput. Graph.	1995	DBLP DOI BibTeX RDF	Interactive graphic environments, specification by-example, human-computer interaction, virtual reality, animation, rapid prototyping, spatio-temporal reasoning
12	Stefano Ceri, Elena Baralis, Piero Fraternali, Stefano Paraboschi	Design of Active Rule Applications: Issues and Approaches.	DOOD	1995	DBLP DOI BibTeX RDF
12	Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian	Mixed Integer Programming Methods for Computing Nonmonotonic Deductive Databases.	J. ACM	1994	DBLP DOI BibTeX RDF	logic programming, deductive databases, nonmonotonic reasoning, operations research
12	Yongmao Chen, Terence R. Smith	Finitely Representables Spatial Objects and Efficient Computation.	ISAAC	1994	DBLP DOI BibTeX RDF
12	Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier, Jörg Würtz	One Binary Horn Clause is Enough.	STACS	1994	DBLP DOI BibTeX RDF	Topics Logic in Computer Science, Theory of Programming Languages
12	Jean-Marie Jacquet, Luís Monteiro	Towards Resource Handling in Logic Programming: The PPL Framework and its Semantics.	JELIA	1994	DBLP DOI BibTeX RDF
12	Edgar Sommer	Learning Relations with Closing the World (Extended Abstract).	ECML	1994	DBLP DOI BibTeX RDF
12	John D. Phillips	Generation of text from logical formulae.	Mach. Transl.	1993	DBLP DOI BibTeX RDF	tactical generation, indexed logic, generation, Machine translation, generation algorithm
12	Dickson Lukose	Executable Conceptual Structures.	ICCS	1993	DBLP DOI BibTeX RDF
12	Jong P. Yoon, Larry Kerschberg	Semantic Query Optimization in Deductive Object-Oriented Databases.	DOOD	1993	DBLP DOI BibTeX RDF
12	Jennifer Widom	A Denotational Semantics for the Starburst Production Rule Language.	SIGMOD Rec.	1992	DBLP DOI BibTeX RDF
12	Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Michael J. Maher	Oracle Semantics for Prolog.	ALP	1992	DBLP DOI BibTeX RDF
12	Henrik Nilsson, Peter Fritzson	Algorithmic Debugging for Lazy Functional Languages.	PLILP	1992	DBLP DOI BibTeX RDF
12	Sergio Greco, Carlo Zaniolo, Sumit Ganguly	Greedy by Choice.	PODS	1992	DBLP DOI BibTeX RDF
12	Bjørn N. Freeman-Benson, Alan Borning	Integrating Constraints with an Object-Oriented Language.	ECOOP	1992	DBLP DOI BibTeX RDF
12	Koenraad De Bosschere, Jean-Marie Jacquet	Comparative Semantics of µLog.	PARLE	1992	DBLP DOI BibTeX RDF