Search results for "first-order language"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Paolo Volpe	A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs.	SAS	1998	DBLP DOI BibTeX RDF	Verification of logic programs, languages of specification, first-order logic
2	Roderic Guigó, Temple F. Smith	Inferring Correlation Between Database Queries: Analysis of Protein Sequence Patterns.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	correlation inference, annotation query, protein sequence pattern analysis, stochastic dependence measurement, set similarity measure, protein sequence database, first-order language, query space, set algebra, query processing, query language, database theory, set theory, algebra, biology computing, proteins, database queries, correlation coefficient, asymptotic approximation
1	Marco B. Caminati	Definition of First Order Language with Arbitrary Alphabet. Syntax of Terms, Atomic Formulas and their Subterms.	Formalized Mathematics	2011	DBLP DOI BibTeX RDF
1	Heng Zhang, Mingsheng Ying	Decidable Fragments of First-Order Language Under Stable Model Semantics and Circumscription.	AAAI	2010	DBLP BibTeX RDF
1	Neil Mitchell, Colin Runciman	Not all patterns, but enough: an automatic verifier for partial but sufficient pattern matching.	Haskell	2008	DBLP DOI BibTeX RDF	pattern-match errors, functional programming, haskell, preconditions, automatic verification
1	Mihir K. Chakraborty	Rough Logics with Possible Applications to Approximate Reasoning.	RSKT	2008	DBLP DOI BibTeX RDF
1	George Spanoudakis, Christos Kloukinas, Kelly Androutsopoulos	Towards security monitoring patterns.	SAC	2007	DBLP DOI BibTeX RDF	runtime monitoring, event calculus, security patterns
1	Jeremy Avigad, Kevin Donnelly	A Decision Procedure for Linear "Big O" Equations.	J. Autom. Reasoning	2007	DBLP DOI BibTeX RDF	Asymptotic equations, Big O, Decision procedures
1	Wei Li	An Inductive Inference System and Its Rationality.	AISC	2006	DBLP DOI BibTeX RDF	inference, induction, Belief, rationality, refutation
1	Anatoly Chebotarev, Sergey Krivoi	Improved Resolution-Based Method for Satisfiability Checking Formulas of the Language L.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF
1	Argimiro Arratia, Carlos E. Ortiz	Counting Proportions of Sets: Expressive Power with Almost Order.	LATIN	2006	DBLP DOI BibTeX RDF	Proportional quantifiers, almost order, P, computational complexity, expressiveness, NL
1	Volker Weispfenning	Solving Linear Differential Problems with Parameters.	CASC	2005	DBLP DOI BibTeX RDF
1	Ana Helena Roque	Effective Descent Morphisms in Some Quasivarieties of Algebraic, Relational, and More General Structures.	Applied Categorical Structures	2004	DBLP DOI BibTeX RDF	prevariety, structures for a first order language and generalizations, regular epimorphisms, (effective) descent morphisms, variety
1	Vera Trnková	Counting Cocomponents of a Topological Space.	Applied Categorical Structures	2004	DBLP DOI BibTeX RDF	finite products, first-order language, continuous operations on spaces, factorization of maps on products, components, duality, clone, connectedness
1	Stefan Ratschan	Convergent approximate solving of first-order constraints by approximate quantifiers.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	constraints, Decision procedures, real numbers, generalized quantifiers
1	James Cheney, Christian Urban	alpha-Prolog: A Logic Programming Language with Names, Binding and a-Equivalence.	ICLP	2004	DBLP DOI BibTeX RDF
1	Argimiro Arratia, Carlos E. Ortiz	Approximating the Expressive Power of Logics in Finite Models.	LATIN	2004	DBLP DOI BibTeX RDF
1	Stéphane Grumbach, Maurizio Rafanelli, Leonardo Tininini	On the equivalence and rewriting of aggregate queries.	Acta Inf.	2004	DBLP DOI BibTeX RDF
1	Hans-Jürgen Hoehnke	Quasi-varieties: A special access.	Studia Logica	2004	DBLP DOI BibTeX RDF	Varieties and quasi-varieties of partial algebras, partial theories, partial Dale monoids, Malcev clones
1	Alessandro Agostini	On two families of paradigms of group-solvability.	AAMAS	2003	DBLP DOI BibTeX RDF	teams and group-dynamics, formalisms and logics for agents and MAS, coordination, groups, coalition formation
1	Oliver Kutz, Frank Wolter, Holger Sturm, Nobu-Yuki Suzuki, Michael Zakharyaschev	Logics of metric spaces.	ACM Trans. Comput. Log.	2003	DBLP DOI BibTeX RDF	expressive completeness, Decidability, spatial reasoning, metric spaces
1	Sang Bong Yoo, In Han Kim	Application of Active Real-Time Objects and Rules in Semantic Web.	DNIS	2003	DBLP DOI BibTeX RDF
1	Yan Zangh, Yun Bai	G-STRIPS - A Generalized STRIPS System for Handling State Change over Dynamic Domains.	ISMIS	2003	DBLP DOI BibTeX RDF	Reasoning about change, logic of AI, knowledge representation, commonsense reasoning
1	Luca Forlizzi, Bart Kuijpers, Enrico Nardelli	Region-Based Querz Languages for Spatial Databases in the Topological Data Model.	SSTD	2003	DBLP DOI BibTeX RDF
1	Jorge A. Baier	On Procedure Recognition in the Situation Calculus.	SCCC	2002	DBLP DOI BibTeX RDF
1	Mustafa Jarrar, Robert Meersman	Formal Ontology Engineering in the DOGMA Approach.	CoopIS/DOA/ODBASE	2002	DBLP DOI BibTeX RDF
1	Antonio Badia	A Logical Formalization of Semistructured Data Models.	ISMIS	2002	DBLP DOI BibTeX RDF
1	Paolo Volpe	A first-order language for expressing sharing and type properties of logic programs.	Sci. Comput. Program.	2001	DBLP DOI BibTeX RDF
1	Anindya Banerjee, Nevin Heintze, Jon G. Riecke	Design and Correctness of Program Transformations Based on Control-Flow Analysis.	TACS	2001	DBLP DOI BibTeX RDF
1	Hirokazu Anai, Volker Weispfenning	Deciding linear-trigonometric problems.	ISSAC	2000	DBLP DOI BibTeX RDF
1	Floris Geerts, Bart Kuijpers	Linear Approximation of Planar Spatial Databases Using Transitive-Closure Logic.	PODS	2000	DBLP DOI BibTeX RDF
1	Nir Friedman, Joseph Y. Halpern, Daphne Koller	First-order conditional logic for default reasoning revisited.	ACM Trans. Comput. Log.	2000	DBLP DOI BibTeX RDF	KLM properties, plausibility measures, completeness, first-order logic, default reasoning, conditional logic
1	Henry Cejtin, Suresh Jagannathan, Stephen Weeks	Flow-Directed Closure Conversion for Typed Languages.	ESOP	2000	DBLP DOI BibTeX RDF
1	Dietmar Seipel	Clausal Deductive Databases and a General Framework for Semantics in Disjunctive Deductive Databases.	FoIKS	2000	DBLP DOI BibTeX RDF
1	Laurence Cholvy	Checking regulation consistency by using SOL-resolution.	ICAIL	1999	DBLP DOI BibTeX RDF
1	Anatoli Degtyarev, Alexander V. Lyaletski, Marina K. Morokhovets	Evidence Algorithm and Sequent Logical Inference Search.	LPAR	1999	DBLP DOI BibTeX RDF
1	Paolo Volpe	A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs.	APPIA-GULP-PRODE	1998	DBLP BibTeX RDF
1	Brandon Bennett, Anthony G. Cohn, Amar Isli	Combining Multiple Representations in a Spatial Reasoning System. (PDF / PS)	ICTAI	1997	DBLP DOI BibTeX RDF	spatial reasoning system, quantitative representations, numerical coordinate systems, high-level conceptual vocabulary, qualitative languages, computational tractability, first-order language, intuitionistic propositional logic, quantitative data structures, polygonal regions, qualitative relational language, high-level queries, spatial reasoning, multiple representations, topological relations, spatial information systems, qualitative representations
1	Patrick Cousot, Radhia Cousot	Galois Connection Based Abstract Interpretations for Strictness Analysis (Invited Paper).	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF	Relational semantics, Dependence-free and dependence-sensitive analysis, Widening, Abstract interpretation, Galois connection, Strictness analysis
1	William W. Cohen, Haym Hirsh	Learnability of Description Logics.	COLT	1992	DBLP DOI BibTeX RDF
1	W. Zimmermann	Complexity issues in the design of functional languages with explicit parallelism.	ICCL	1992	DBLP DOI BibTeX RDF
1	Paul Hudak, Jonathan Young	Collecting Interpretations of Expressions.	ACM Trans. Program. Lang. Syst.	1991	DBLP DOI BibTeX RDF	theory
1	Michael J. Miller, Donald Perlis	Typicality Constants and Range Defaults: Some Pros and Cons of a Cognitive Model of Default Reasoning.	ISMIS	1991	DBLP DOI BibTeX RDF
1	Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi	A Constructive Logic Approach to Database Theory.	RCLP	1991	DBLP DOI BibTeX RDF
1	Aïda Batarekh, V. S. Subrahmanian	The Query Topology in Logic Programming.	STACS	1989	DBLP DOI BibTeX RDF
1	Thomas Ludwig	FLL: A First-Order Language for Deductive Retrieval of Feature Terms	LILOG-Report	1988	RDF
1	Raymond Reiter	What Should A Database Know?	PODS	1988	DBLP DOI BibTeX RDF
1	Paul Hudak, Jonathan Young	A Collecting Interpretation of Expressions (Without Powerdomains).	POPL	1988	DBLP DOI BibTeX RDF
1	Philip Wadler	Strictness Analysis Aids Time Analysis.	POPL	1988	DBLP DOI BibTeX RDF
1	Philippe Besnard, Pierre Siegel	Supposition-Based Logic for Automated Nonmontonic Reasoning.	CADE	1988	DBLP DOI BibTeX RDF
1	D. Lippert	Interval Temporal Logic and Star-Free Expressions.	CSL	1988	DBLP DOI BibTeX RDF
1	Norbert Südkamp, Peter Kandzia	Enforcement of Integrity Constraints in a Semantic Data Model.	CSL	1988	DBLP DOI BibTeX RDF
1	Hiroki Ishizaka	Inductive Inference of Regular Language Based on Model Inference.	LP	1987	DBLP DOI BibTeX RDF
1	Keki B. Irani, D. G. Shin	A Many-Sorted Resolution Based on an Extension of a First-Order Language.	IJCAI	1985	DBLP BibTeX RDF
1	Marco A. Casanova, Philip A. Bernstein	A Formal System for Reasoning about Programs Accessing a Relational Database.	ACM Trans. Program. Lang. Syst.	1980	DBLP DOI BibTeX RDF
1	Mitsuru Yasuhara	An Axiomatic System for the First Order Language with an Equi-Cardinality Quantifier.	J. Symb. Log.	1966	DBLP BibTeX RDF