Search results for "model-theoretic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Hans-Jörg Tiede	Inessential Features, Ineliminable Features, and Modal Logics for Model Theoretic Syntax.	Journal of Logic, Language and Information	2008	DBLP DOI BibTeX RDF	Model theoretic syntax, Modal logic, Tree automata
3	James Farrugia	Model-theoretic semantics for the web.	WWW	2003	DBLP DOI BibTeX RDF	web markup languages, semantics, model-theoretic semantics
2	Manfred Jaeger	Model-Theoretic Expressivity Analysis.	Probabilistic Inductive Logic Programming	2008	DBLP DOI BibTeX RDF
2	Pedro Cabalar, David Pearce, Panos Rondogiannis, William W. Wadge	A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation.	LPNMR	2007	DBLP DOI BibTeX RDF
2	Adrian Giurca, Gerd Wagner	Towards an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML.	RuleML	2005	DBLP DOI BibTeX RDF	rule markup languages, RuleML, partial logic, semantics, abstract syntax
2	Veronica Biazzo, Angelo Gilio, Thomas Lukasiewicz, Giuseppe Sanfilippo	Probabilistic logic under coherence: complexity and algorithms.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	conditional probability assessment, logical constraint, conditional constraint, probabilistic logic under coherence, model-theoretic probabilistic logic, g-coherence, g-coherent entailment, algorithms, computational complexity
2	Jeff Heflin, Zhengxiang Pan	A Model Theoretic Semantics for Ontology Versioning.	International Semantic Web Conference	2004	DBLP DOI BibTeX RDF
2	Ian Horrocks, Peter F. Patel-Schneider	A proposal for an owl rules language.	WWW	2004	DBLP DOI BibTeX RDF	semantic web, representation, model-theoretic semantics
2	Silvio Ghilardi, Luigi Santocanale	Algebraic and Model Theoretic Techniques for Fusion Decidability in Modal Logics.	LPAR	2003	DBLP DOI BibTeX RDF
2	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
2	Vilas Wuwongse, Ekawit Nantajeewarawat	Declarative Programs with Implicit Implications.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	implicit implication, deductive object-oriented database, taxonomy, Declarative program, subsumption, fixpoint semantics, model-theoretic semantics
2	Geoffrey K. Pullum, Barbara C. Scholz	On the Distinction between Model-Theoretic and Generative-Enumerative Syntactic Frameworks.	LACL	2001	DBLP DOI BibTeX RDF
2	Veronica Biazzo, Angelo Gilio, Thomas Lukasiewicz, Giuseppe Sanfilippo	Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning.	ECSQARU	2001	DBLP DOI BibTeX RDF
2	Amir Pnueli	Deductive vs. Model-Theoretic Approaches to Formal Verification (Abstract of Invited Talk).	CADE	1998	DBLP BibTeX RDF
2	Chiara Ghidini, Luciano Serafini	Model Theoretic Semantics for Information Integration.	AIMSA	1998	DBLP DOI BibTeX RDF
2	Xiaolei Qian	A Model-Theoretic Semantics of the Multilevel Relational Model.	EDBT	1994	DBLP DOI BibTeX RDF
2	Mino Bai, Howard A. Blair	General Model Theoretic Semantics for Higher-Order Horn Logic Programming.	LPAR	1992	DBLP DOI BibTeX RDF
2	Donald Sannella, Andrzej Tarlecki	Towards Formal Development of Programs from Algebraic Specifications: Model-Theoretic Foundations.	ICALP	1992	DBLP DOI BibTeX RDF
2	Angelo Morzenti, Dino Mandrioli, Carlo Ghezzi	A Model Parametric Real-Time Logic.	ACM Trans. Program. Lang. Syst.	1992	DBLP DOI BibTeX RDF	real-time systems, formal specifications, temporal logic, first-order logic, requirements validation, model-theoretic semantics
2	Angelo Morzenti	Validating Real-Time Systems by Executing Logic Specifications.	REX Workshop	1991	DBLP DOI BibTeX RDF	real-time, formal specifications, temporal logic, first-order logic, software requirements, requirements validation, model-theoretic semantics
1	Konstantine Arkoudas, Akshay Vashist	A model-theoretic approach to data anonymity and inference control.	CODASPY	2012	DBLP DOI BibTeX RDF
1	Tommaso Cortonesi, Enrico Marchioni, Franco Montagna	Quantifier Elimination and Other Model-Theoretic Properties of BL-Algebras.	Notre Dame Journal of Formal Logic	2011	DBLP BibTeX RDF
1	Javier Moreno	Iterative differential Galois theory in positive characteristic: A model theoretic approach.	J. Symb. Log.	2011	DBLP BibTeX RDF
1	Krzysztof Krupinski	On relationships between algebraic properties of groups and rings in some model-theoretic contexts.	J. Symb. Log.	2011	DBLP BibTeX RDF
1	Philip Scowcroft	Some model-theoretic correspondences between dimension groups and AF algebras.	Ann. Pure Appl. Logic	2011	DBLP DOI BibTeX RDF
1	Carsten Lutz, Robert Piro, Frank Wolter	Description Logic TBoxes: Model-theoretic Characterizations and Rewritability	CoRR	2011	DBLP BibTeX RDF
1	Leo Marcus	Abstract Fault Tolerance: A Model-Theoretic Approach to Fault Tolerance and Fault Compensation without Error Correction.	IJARAS	2011	DBLP DOI BibTeX RDF
1	Carsten Lutz, Robert Piro, Frank Wolter	Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability.	IJCAI	2011	DBLP BibTeX RDF
1	Flavio Antonio Ferrarotti, Alejandra Lorena Paoletti, Jose Maria Turull Torres	Redundant Relations in Relational Databases: A Model Theoretic Perspective.	J. UCS	2010	DBLP BibTeX RDF
1	Alice Medvedev, Ramin Takloo-Bighash	An invitation to model-theoretic Galois theory.	Bulletin of Symbolic Logic	2010	DBLP BibTeX RDF
1	Robert A. Kowalski, Fariba Sadri	An Agent Language with Destructive Assignment and Model-Theoretic Semantics.	CLIMA	2010	DBLP DOI BibTeX RDF
1	Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe	A Proof Theoretic Interpretation of Model Theoretic Hiding.	WADT	2010	DBLP DOI BibTeX RDF
1	Claire David, Leonid Libkin, Filip Murlak	Certain answers for XML queries.	PODS	2010	DBLP DOI BibTeX RDF	queries returning trees, data exchange, incomplete information, certain answers
1	Walid Gomaa	Model-Theoretic Characterization of Complexity Classes.	Electronic Colloquium on Computational Complexity (ECCC)	2009	DBLP BibTeX RDF
1	Merlijn Sevenster	Model-theoretic and Computational Properties of Modal Dependence Logic.	J. Log. Comput.	2009	DBLP DOI BibTeX RDF
1	Itay Ben-Yaacov, José Iovino	Model theoretic forcing in analysis.	Ann. Pure Appl. Logic	2009	DBLP DOI BibTeX RDF
1	Vincent Astier	Erratum to: "Some model-theoretic results in the algebraic theory of quadratic forms" [Ann. Pure Appl. Logic 112 (2-3) (2001) 189-223].	Ann. Pure Appl. Logic	2009	DBLP DOI BibTeX RDF
1	Bakhadyr Khoussainov, Mia Minnes	Model-theoretic complexity of automatic structures.	Ann. Pure Appl. Logic	2009	DBLP DOI BibTeX RDF
1	Ravi Rajani, Mike Prest	Model-theoretic Imaginaries and Coherent Sheaves.	Applied Categorical Structures	2009	DBLP DOI BibTeX RDF
1	Denys Duchier, Jean-Philippe Prost, Thi-Bich-Hanh Dao	A Model-Theoretic Framework for Grammaticality Judgements.	FG	2009	DBLP DOI BibTeX RDF
1	Pascual Julián Iranzo, Clemente Rubio-Manzano	A declarative semantics for Bousi~Prolog.	PPDP	2009	DBLP DOI BibTeX RDF	fuzzy herbrand model, proximity relations, fuzzy logic programming, fixpoint semantics, declarative semantics
1	Rafael del Vado Vírseda	A higher-order logical framework for the algorithmic debugging and verification of declarative programs.	PPDP	2009	DBLP DOI BibTeX RDF	algorithmic debugging, declarative verification, multiparadigm declarative programming, lambda calculus
1	Alessandro Artale, Enrico Franconi	Foundations of Temporal Conceptual Data Models.	Conceptual Modeling: Foundations and Applications	2009	DBLP DOI BibTeX RDF
1	Wojciech Buszkowski, Maciej Farulewski	Nonassociative Lambek Calculus with Additives and Context-Free Languages.	Languages: From Formal to Natural	2009	DBLP DOI BibTeX RDF
1	Sebastian S. Bauer, Rolf Hennicker	Views on Behaviour Protocols and Their Semantic Foundation.	CALCO	2009	DBLP DOI BibTeX RDF
1	Joshua D. Guttman	Cryptographic Protocol Composition via the Authentication Tests.	FOSSACS	2009	DBLP DOI BibTeX RDF
1	Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner	Modular Nonmonotonic Logic Programming Revisited.	ICLP	2009	DBLP DOI BibTeX RDF	Modular Logic Programming, Knowledge Representation, Answer Set Programming
1	Hui Wan, Benjamin N. Grosof, Michael Kifer, Paul Fodor, Senlin Liang	Logic Programming with Defaults and Argumentation Theories.	ICLP	2009	DBLP DOI BibTeX RDF	Defeasible reasoning, well-founded models, argumentation theory
1	Jörg Pührer, Hans Tompits	Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Jeffrey Sarnat, Carsten Schürmann	Lexicographic Path Induction.	TLCA	2009	DBLP DOI BibTeX RDF
1	Enrico Marchioni	Ordered fields and LP 1/2 -algebras.	Soft Comput.	2009	DBLP DOI BibTeX RDF	Ordered fields, algebras, Real closed fields
1	Martin Lange	A purely model-theoretic proof of the exponential succinctness gap between CTL+ and CTL.	Inf. Process. Lett.	2008	DBLP DOI BibTeX RDF
1	Chris J. Conidis	Classifying model-theoretic properties.	J. Symb. Log.	2008	DBLP BibTeX RDF
1	Bakhadyr Khoussainov, Mia Minnes	Model Theoretic Complexity of Automatic Structures (Extended Abstract).	TAMC	2008	DBLP DOI BibTeX RDF
1	Torsten Hahmann, Michael Gruninger	Model-Theoretic Characterization of Asher and Vieu's Ontology of Mereotopology.	KR	2008	DBLP BibTeX RDF
1	E. Allen Emerson	The Beginning of Model Checking: A Personal Perspective.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF	model-theoretic, origins, model checking, synthesis, history
1	Manuel Bodirsky, Jan Kára	The complexity of temporal constraint satisfaction problems.	STOC	2008	DBLP DOI BibTeX RDF	complexity, constraint satisfaction, temporal reasoning
1	Huaikou Miao, Xiaoxia Cao, Zhong-sheng Qian	Refining Service-Oriented Model Using Interpretation Mapping.	SOSE	2008	DBLP DOI BibTeX RDF
1	Liannan Lin, Jinzhao Wu, Xiang Xu	Open Logic Based on Partial-Ordered Partition Model.	TASE	2008	DBLP DOI BibTeX RDF	open logic, requirements engineering, belief revision, Nonmonotonic logic, default reasoning
1	Hai Liu, Qing Li, Naijie Gu, An Liu	Modeling and Reasoning about Semantic Web Services Contract Using Description Logic.	WAIM	2008	DBLP DOI BibTeX RDF
1	Fu Zhang, Z. M. Ma, Yanhui Lv, Xing Wang	Formal Semantics-Preserving Translation from Fuzzy ER Model to Fuzzy OWL DL Ontology.	Web Intelligence	2008	DBLP DOI BibTeX RDF
1	Michel Bidoit, Rolf Hennicker	An Algebraic Semantics for Contract-Based Software Components.	AMAST	2008	DBLP DOI BibTeX RDF
1	M. Birna van Riemsdijk, Rolf Hennicker, Martin Wirsing, Andreas Schroeder	Service Specification and Matchmaking Using Description Logic.	AMAST	2008	DBLP DOI BibTeX RDF
1	Fu Zhang, Z. M. Ma, Hailong Wang, Xiangfu Meng	A Formal Semantics-Preserving Translation from Fuzzy Relational Database Schema to Fuzzy OWL DL Ontology.	ASWC	2008	DBLP DOI BibTeX RDF	Fuzzy Relational Database Schema (FRDBS), fuzzy OWL DL ontology, semantics-preserving translation, fuzzy database, fuzzy ontology
1	Marius Bozga, Radu Iosif, Swann Perarnau	Quantitative Separation Logic and Programs with Lists.	IJCAR	2008	DBLP DOI BibTeX RDF
1	Jörg Pührer, Hans Tompits, Stefan Woltran	Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence.	ICLP	2008	DBLP DOI BibTeX RDF
1	Boris Motik	Semantics and Reasoning Algorithms for a Faithful Integration of Description Logics and Rules.	RR	2008	DBLP DOI BibTeX RDF
1	Ander Altuna	Embodied Context Semantics.	SDKB	2008	DBLP DOI BibTeX RDF
1	Mauro Mazzieri, Aldo Franco Dragoni	A Fuzzy Semantics for the Resource Description Framework.	URSW (LNCS Vol.)	2008	DBLP DOI BibTeX RDF	Semantic Web, Fuzzy Logic, Knowledge Representation, RDF, RDF Schema
1	Miroslaw Truszczynski, Stefan Woltran	Hyperequivalence of logic programs with respect to supported models.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68N17, 68Q17, 68T30
1	Andrey Bovykin	Resplendent models and S11{\Sigma_1^1} -definability with an oracle.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) Primary 03B10, 03C50, 03C62, Secondary 03C07, 03C30, 03C35, 03C52, 03C64, 03C57
1	Fernando Ferreira, Gilda Ferreira	Harrington's conservation theorem redone.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03F35, 03F07, 03F05
1	Pedro A. Guil Asensio, Ivo Herzog	Model-theoretic aspects of Sigma-cotorsion modules.	Ann. Pure Appl. Logic	2007	DBLP DOI BibTeX RDF
1	Simon Kramer	Logical concepts in cryptography.	SIGACT News	2007	DBLP DOI BibTeX RDF	applied formal logic, information security
1	Michael Benedikt, Leonid Libkin, Frank Neven	Logical definability and query languages over ranked and unranked trees.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	Ranked trees, unranked trees, query languages, tree automata, model theory
1	Arnaud Durand, Etienne Grandjean	First-order queries on structures of bounded degree are computable with constant delay.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	enumeration problems, Computational complexity, first-order logic
1	Edward Hung, Lise Getoor, V. S. Subrahmanian	Probabilistic interval XML.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	Semistructured Databases, XML
1	Tassos Venetis, Giorgos Stoilos, Giorgos B. Stamou, Stefanos D. Kollias	f-DLPs: Extending Description Logic Programs with Fuzzy Sets and Fuzzy Logic.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
1	Ali Kiani, Nematollaah Shiri	A Generalized Model for Mediator Based Information Integration.	IDEAS	2007	DBLP DOI BibTeX RDF
1	Balder ten Cate, Johan van Benthem, Jouko A. Väänänen	Lindstrom theorems for fragments of first-order logic.	LICS	2007	DBLP DOI BibTeX RDF
1	Yang Bo, Qin Zheng, Yu Fan, Qin Jun	The Soundness and Completeness Proof of Agent Intention in AgentSpeak.	Web Intelligence	2007	DBLP DOI BibTeX RDF
1	Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín	On Rules and Parameter Free Systems in Bounded Arithmetic.	CiE	2007	DBLP DOI BibTeX RDF	conservation results, parameter free schemes, Bounded Arithmetic
1	Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni	Web Service Contracting: Specification and Reasoning with SCIFF.	ESWC	2007	DBLP DOI BibTeX RDF
1	Jean-François Baget	A Datatype Extension for Simple Conceptual Graphs and Conceptual Graphs Rules.	ICCS	2007	DBLP DOI BibTeX RDF
1	Ka-Shu Wong	A Stronger Notion of Equivalence for Logic Programs.	ICLP	2007	DBLP DOI BibTeX RDF
1	Anuj Dawar	Finite Model Theory on Tame Classes of Structures.	MFCS	2007	DBLP DOI BibTeX RDF
1	Alessandro Artale, Christine Parent, Stefano Spaccapietra	Evolving objects in temporal information systems.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68P15, 68T30
1	Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli	Decision procedures for extensions of the theory of arrays.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68T27, 03B25, 03B70, 68T15
1	Achim Blumensath	A model-theoretic characterisation of clique width.	Ann. Pure Appl. Logic	2006	DBLP DOI BibTeX RDF
1	Martin Otto	The Boundedness Problem for Monadic Universal First-Order Logic.	LICS	2006	DBLP DOI BibTeX RDF
1	Alexander Moshe Rabinovich, Wolfgang Thomas	Decidable Theories of the Ordering of Natural Numbers with Unary Predicates.	CSL	2006	DBLP DOI BibTeX RDF
1	Alessandro Artale, Christine Parent, Stefano Spaccapietra	Modeling the Evolution of Objects in Temporal Information Systems.	FoIKS	2006	DBLP DOI BibTeX RDF
1	Leonardo Lesmo, Livio Robaldo	Dependency Tree Semantics.	ISMIS	2006	DBLP DOI BibTeX RDF
1	Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli	Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies.	JELIA	2006	DBLP DOI BibTeX RDF
1	Gilles Dowek	Truth Values Algebras and Proof Normalization.	TYPES	2006	DBLP DOI BibTeX RDF
1	Uwe Wolter	A (Co)Algebraic Analysis of Synchronization in CSP.	WADT	2006	DBLP DOI BibTeX RDF
1	Alessandro Artale	Reasoning on temporal class diagrams: Undecidability results.	Ann. Math. Artif. Intell.	2006	DBLP DOI BibTeX RDF	AMS subject classification computer science, knowledge representation, database theory
1	Paul Bankston	The Chang-Los-Suszko theorem in a topological setting.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) Primary 03C20, 54B35, 54C10, 54D30, Secondary 03C52, 06D05, 54D35, 54F15, 54F45, 54F55
1	George Georgescu, Andrei Popescu	A common generalization for MV-algebras and Lukasiewicz-Moisil algebras.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 06D35, 03G20, 06F15
1	Moshe Deutsch, Martin C. Henson	An analysis of refinement in an abortive paradigm.	Formal Asp. Comput.	2006	DBLP DOI BibTeX RDF	Operation-refinement, Specification language, Data-refinement, Specification logic