Search results for "theories"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Jerzy Tomasik, Jerzy Weyman	Category localization semantics for specification refinements.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 03C98, 8C05, 18C10, 18E35, 68Q85
15	Marc Aiguier, Diane Bahrami	Structures for Abstract Rewriting.	J. Autom. Reason.	2007	DBLP DOI BibTeX RDF	abstract rewriting, abstract deduction procedure, abstract completion procedure, rewrite system, axiomatization
15	Iris A. Junglas, Norman A. Johnson, Douglas J. Steel, Chon Abraham, Paul Mac Loughlin	Identity formation, learning styles and trust in virtual worlds.	Data Base	2007	DBLP DOI BibTeX RDF	identity formation, social laboratories, trust, virtual world, learning style
15	Karthikeyan Umapathy, Sandeep Purao	A theoretical investigation of the emerging standards for web services.	Inf. Syst. Frontiers	2007	DBLP DOI BibTeX RDF	Web services standards, W3C web services, Standards stacks, Layered models, Language-Action Perspective, Reference framework, Web services, Semantic web services, Service-Oriented Computing, ebXML
15	Itala M. Loffredo D'Ottaviano, Carlos Hifume	Peircean Pragmatic Truth and da Costa's Quasi-Truth.	Model-Based Reasoning in Science, Technology, and Medicine	2007	DBLP DOI BibTeX RDF
15	Rudolf Seising	Between Empiricism and Rationalism: A Layer of Perception Modeling Fuzzy Sets as Intermediary in Philosophy of Science.	IFSA (2)	2007	DBLP DOI BibTeX RDF	empiricism, computational theory of perceptions, perceptions, fuzzy sets, theory, epistemology, rationalism, computing with words, reality, Philosophy of science
15	Marc Ebner	How Does the Brain Arrive at a Color Constant Descriptor?	BVAI	2007	DBLP DOI BibTeX RDF
15	Lisa Allali	Algorithmic Equality in Heyting Arithmetic Modulo.	TYPES	2007	DBLP DOI BibTeX RDF
15	Mandy Northover, Alan Northover, Stefan Gruner, Derrick G. Kourie, Andrew Boake	Agile software development: a contemporary philosophical perspective.	SAICSIT	2007	DBLP DOI BibTeX RDF	critical rationalism, evolutionary change, scientific revolutions, extreme programming, paradigm shift
15	Frank Arntzenius	No regrets: or: Edith Piaf revamps decision theory.	TARK	2007	DBLP DOI BibTeX RDF
15	Nevin Lianwen Zhang, Shihong Yuan, Tao Chen, Yi Wang 0006	Hierarchical Latent Class Models and Statistical Foundation for Traditional Chinese Medicine.	AIME	2007	DBLP DOI BibTeX RDF
15	Maria Paola Bonacina, Mnacho Echenim	T-Decision by Decomposition.	CADE	2007	DBLP DOI BibTeX RDF
15	Christopher Lynch, Duc-Khanh Tran	Automatic Decidability and Combinability Revisited.	CADE	2007	DBLP DOI BibTeX RDF
15	Tsau Young Lin	Granular models for partitions, coverings, and Pre-Topologies.	SMC	2007	DBLP DOI BibTeX RDF
15	Jeppe Revall Frisvad, Niels Jørgen Christensen, Peter Falster	The Aristotelian rainbow: from philosophy to computer graphics.	GRAPHITE	2007	DBLP DOI BibTeX RDF	history, realistic image synthesis, philosophy
15	James Kuodo Huang	On Systems Software Engineering with Application to Bioinformatics.	GrC	2007	DBLP DOI BibTeX RDF
15	Mikhail Prokopenko	A preferential semantics for causal reasoning about action.	Ann. Math. Artif. Intell.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68T27, 03B44, 06A06
15	Radim Belohlávek, Vilém Vychodil	Fuzzy Horn logic I.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Degree of provability, Fuzzy logic, Implication, Equational logic, Horn logic
15	Krzysztof Janowicz	Sim-DL: Towards a Semantic Similarity Measurement Theory for the Description Logic ALCNR in Geographic Information Retrieval.	OTM Workshops (2)	2006	DBLP DOI BibTeX RDF
15	Octavian Udrea, Diego Reforgiato Recupero, V. S. Subrahmanian	Annotated RDF.	ESWC	2006	DBLP DOI BibTeX RDF
15	Deepak Kapur, Rupak Majumdar, Calogero G. Zarba	Interpolation for data structures.	SIGSOFT FSE	2006	DBLP DOI BibTeX RDF	CEGAR, data structure verification, interpolation
15	Yinlei Yu, Sharad Malik	Lemma Learning in SMT on Linear Constraints.	SAT	2006	DBLP DOI BibTeX RDF
15	Magy Seif El-Nasr, Joshua B. Gross	Fun & games: on the process of game design.	Conference on Designing Interactive Systems	2006	DBLP DOI BibTeX RDF	aesthetics, interactive environments, lighting design
15	Frederick Maier, Donald Nute	Ambiguity Propagating Defeasible Logic and the Well-Founded Semantics.	JELIA	2006	DBLP DOI BibTeX RDF
15	Immanuel Normann	Enhanced Theorem Reuse by Partial Theory Inclusions.	AISC	2006	DBLP DOI BibTeX RDF
15	André M. C. Campos, Emanuel B. Santos, Anne M. P. Canuto, Rodrigo G. Soares, João Carlos Alchieri	A flexible framework for representing personality in agents.	AAMAS	2006	DBLP DOI BibTeX RDF	agent-based framework, personality-based agents, agent architecture
15	Mark d'Inverno, Jane Prophet	Multidisciplinary Investigation into Adult Stem Cell Behavior.	Trans. Comp. Sys. Biology	2005	DBLP DOI BibTeX RDF	Novel tools applied to biological systems, self-repairing and self-replicating systems, new technologies and methods, interdisciplinary research and collaboration, cellular automata, self-organizing, art
15	Alison Chorley, Trevor J. M. Bench-Capon	An empirical investigation of reasoning with legal cases through theory construction and application.	Artif. Intell. Law	2005	DBLP DOI BibTeX RDF	factors and dimensions, theory construction, Case Based Reasoning, legal reasoning, legal knowledge based systems
15	Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran	On Superposition-Based Satisfiability Procedures and Their Combination.	ICTAC	2005	DBLP DOI BibTeX RDF
15	Hongwei Jia, Weiqing Tang, Fei Kong, Tao He	A Conflict Resolution Methodology in a Large-Scale CSCD System.	CSCWD (Selected papers)	2005	DBLP DOI BibTeX RDF
15	Joseph A. Goguen	What Is a Concept?	ICCS	2005	DBLP DOI BibTeX RDF
15	David A. Basin, Manuel Clavel, José Meseguer 0001	Reflective metalogical frameworks.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	metalogics, reflection, rewriting logic, Membership equational logic
15	Jan Struyf, Jan Ramon, Maurice Bruynooghe, Sofie Verbaeten, Hendrik Blockeel	Compact Representation of Knowledge Bases in Inductive Logic Programming.	Mach. Learn.	2004	DBLP DOI BibTeX RDF	scalability, efficiency, knowledge bases, Inductive Logic Programming, compact representation
15	Fabio Paglieri, Cristiano Castelfranchi	Revising Beliefs Through Arguments: Bridging the Gap Between Argumentation and Belief Revision in MAS.	ArgMAS	2004	DBLP DOI BibTeX RDF
15	Andrew Lee	Psychological Models in Autonomic Computing Systems.	DEXA Workshops	2004	DBLP DOI BibTeX RDF
15	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
15	Cristiano Castelfranchi	Emergence and Cognition: Towards a Synthetic Paradigm in AI and Cognitive Science.	MATES	2004	DBLP DOI BibTeX RDF
15	Heshan Sun, Ping Zhang 0002	A Methodological Analysis of User Technology Acceptance.	HICSS	2004	DBLP DOI BibTeX RDF
15	Robert Willison	Understanding the Offender/Environment Dynamic for Computer Crimes: Assessing the Feasibility of Applying Criminological Theory to the IS Security Context.	HICSS	2004	DBLP DOI BibTeX RDF
15	Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni	Declarative Agent Control.	CLIMA	2004	DBLP DOI BibTeX RDF
15	Kumar Neeraj Verma	Alternation in Equational Tree Automata Modulo XOR.	FSTTCS	2004	DBLP DOI BibTeX RDF
15	D. Paul Benjamin, Deryle W. Lonsdale, Damian M. Lyons	Integrating Perception, Language and Problem Solving in a Cognitive Agent for a Mobile Robot.	AAMAS	2004	DBLP DOI BibTeX RDF
15	Peter Grünwald, Paul M. B. Vitányi	Kolmogorov Complexity and Information Theory. With an Interpretation in Terms of Questions and Answers.	J. Log. Lang. Inf.	2003	DBLP DOI BibTeX RDF	algorithmic information theory, Shannon information theory, universal codes, data compression, mutual information, Kolmogorov complexity, rate distortion theory, prefix codes
15	Arnold Beckmann	Dynamic ordinal analysis.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF
15	Martin Berger 0001, Kohei Honda 0001, Nobuko Yoshida	Genericity and the pi-Calculus.	FoSSaCS	2003	DBLP DOI BibTeX RDF
15	Zbigniew Lonc, Miroslaw Truszczynski	Computing Minimal Models, Stable Models, and Answer Sets.	ICLP	2003	DBLP DOI BibTeX RDF
15	Deepak Kapur, Paliath Narendran, Lida Wang	An E-unification Algorithm for Analyzing Protocols That Use Modular Exponentiation.	RTA	2003	DBLP DOI BibTeX RDF
15	José Meseguer 0001, Grigore Rosu	A Total Approach to Partial Algebraic Specification.	ICALP	2002	DBLP DOI BibTeX RDF
15	Andrew Walenstein	Theory-based Analysis of Cognitive Support in Software Comprehension Tools.	IWPC	2002	DBLP DOI BibTeX RDF
15	Shilong Ma, Yuefei Sui, Ke Xu 0001	The Limits of Horn Logic Programs.	ICLP	2002	DBLP DOI BibTeX RDF
15	James Westland Cain, Rachel Jane McCrindle	An Investigation into the Effects of Code Coupling on Team Dynamics and Productivity.	COMPSAC	2002	DBLP DOI BibTeX RDF	Dependency Management, Large Scale Software, Visualisation, Information Hiding, Coupling, Object Oriented Systems
15	Angelina Kouroubali	Structuration Theory and Conception-Reality Gaps: Addressing Cause and Effect of Implementation Outcomes in Health Care Information Systems.	HICSS	2002	DBLP DOI BibTeX RDF	conception-reality gaps, implementation process, health care information systems, primary care, structuration theory, Greece
15	Clark W. Barrett, David L. Dill, Aaron Stump	A Generalization of Shostak's Method for Combining Decision Procedures.	FroCoS	2002	DBLP DOI BibTeX RDF
15	Christian von Scheve, Daniel Moldt	Emotion: Theoretical Investigations and Implications for Artificial Social Aggregates.	RASTA	2002	DBLP DOI BibTeX RDF
15	Michel Hébert	Concretely Locally Presentable and Locally Generated Categories.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	locally generated category, locally presentable category, partial operation, implicit operation, essentially algebraic theory
15	Selma Strahringer, Rudolf Wille, Uta Wille	Mathematical Support for Empirical Theory Building.	ICCS	2001	DBLP DOI BibTeX RDF
15	Alexandre Boudet, Evelyne Contejean	Combining Pattern E-Unification Algorithms.	RTA	2001	DBLP DOI BibTeX RDF
15	John-Jules Ch. Meyer, Milind Tambe	Introduction.	ATAL	2001	DBLP DOI BibTeX RDF
15	Peter Aczel, Nicola Gambino	Collection Principles in Dependent Type Theory.	TYPES	2000	DBLP DOI BibTeX RDF
15	Michel Chein, David Genest	CGs Applications: Where Are We 7 Years after the Fist ICCS?	ICCS	2000	DBLP DOI BibTeX RDF
15	Jungwoo Lee 0002, Duane P. Truex	Cognitive Complexity and Methodical Training: Enhancing or Suppressing Creativity.	HICSS	2000	DBLP DOI BibTeX RDF
15	Jürgen Stuber	Deriving Theory Superposition Calculi from Convergent Term Rewriting Systems.	RTA	2000	DBLP DOI BibTeX RDF
15	Jianhua Chen 0003	A Class of Stratified Programs in Autoepistemic Logic of Knowledge and Belief.	ISMIS	1999	DBLP DOI BibTeX RDF
15	Alípio Jorge, Alneu de Andrade Lopes	Iterative Part-of-Speech Tagging.	Learning Language in Logic	1999	DBLP DOI BibTeX RDF
15	John F. Sowa	Relating Templates to Language and Logic.	SCIE	1999	DBLP DOI BibTeX RDF
15	Stephan Kepser, Jörn Richts	UNIMOK: A System for Combining Equational Unification Algorithm.	RTA	1999	DBLP DOI BibTeX RDF
15	Douglas J. Howe	Interactive Theorem Proving Using Type Theory.	CSL	1999	DBLP DOI BibTeX RDF
15	Anthony G. Cohn 0001, Achille C. Varzi	Modes of Connection.	COSIT	1999	DBLP DOI BibTeX RDF	Ontology of Space, Semantics of Spatial Reasoning, Topology
15	W. Marco Schorlemmer	Term Rewriting in a Logic of Special Relations.	AMAST	1998	DBLP DOI BibTeX RDF
15	Klaus Didrich, Wolfgang Grieskamp, Christian Maeder, Peter Pepper	Programming in the Large: The Algebraic-Functional Language Opal 2alpha.	Implementation of Functional Languages	1997	DBLP DOI BibTeX RDF
15	Pawel Cholewinski	Towards Programming in Default Logic.	ISMIS	1996	DBLP DOI BibTeX RDF
15	Malti Patel	Using Neural Nets to Investigate Lexical Access.	PRICAI	1996	DBLP DOI BibTeX RDF
15	John F. Sowa	Syntax, Semantics, and Pragmatics of Contexts.	ICCS	1995	DBLP DOI BibTeX RDF
15	Honghua Gan	Understanding a Story With Causal Relationships.	ISMIS	1994	DBLP DOI BibTeX RDF
15	Miki Hermann, Phokion G. Kolaitis	The Complexity of Counting Problems in Equational Matching.	CADE	1994	DBLP DOI BibTeX RDF
15	Paul McKevitt, Derek Partridge, Yorick Wilks	Approaches to natural language discourse processing.	Artif. Intell. Rev.	1992	DBLP DOI BibTeX RDF	natural-language discourse, OSCON, semantics, context, natural-language processing, coherence, intention
15	Joseph A. Goguen, Rod M. Burstall	Institutions: Abstract Model Theory for Specification and Programming.	J. ACM	1992	DBLP DOI BibTeX RDF
15	María José Ramírez, Moreno Falaschi	Conditional Narrowing with Constructive Negation.	ELP	1992	DBLP DOI BibTeX RDF	Equational logic programming, term rewriting systems, narrowing, constructive negation
15	Ed Brinksma, Bengt Jonsson 0001, Fredrik Orava	Refining Interfaces of Communicating Systems.	TAPSOFT, Vol.2	1991	DBLP DOI BibTeX RDF
15	Hubert Comon	Complete Axiomatizations of Some Quotient Term Algebras.	ICALP	1991	DBLP DOI BibTeX RDF
15	Reiner Creutzburg, Valeri G. Labunets, Ekaterina V. Labunets	Towards an "Erlangen Program" for General Linear Systems Theory.	EUROCAST	1991	DBLP DOI BibTeX RDF
15	Els Laenens, Dirk Vermeir	A Logical Basis for Object Oriented Programming.	JELIA	1990	DBLP DOI BibTeX RDF
15	Fernando C. N. Pereira	Semantic Interpretation as Higher-Order Deduction.	JELIA	1990	DBLP DOI BibTeX RDF
15	Beth Satter	What I didn't learn in the classroom.	SIGUCCS	1987	DBLP DOI BibTeX RDF
15	David B. Benson	The Shuffle Bialgebra.	MFPS	1987	DBLP DOI BibTeX RDF
15	Jia-Huai You, P. A. Subrahmanyam	E-Unification Algorithms for a Class of Confluent Term Rewriting Systems.	ICALP	1986	DBLP DOI BibTeX RDF
15	Hans-Jürgen Bürckert	Some Relationships between Unification, restricted Unification, and Matching.	CADE	1986	DBLP DOI BibTeX RDF
15	Axel Poigné	Higher Order Data Structures: Cartesian Closure Versus Lambda-Calculus.	STACS	1984	DBLP DOI BibTeX RDF
15	María Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi	A fold/unfold transformation framework for rewrite theories extended to CCT.	PEPM	2010	DBLP DOI BibTeX RDF	code carrying theory, fold/unfold transformation, rewriting logic
15	David Poole 0001, Clinton Smyth, Rita Sharma	Ontology Design for Scientific Theories That Make Probabilistic Predictions.	IEEE Intell. Syst.	2009	DBLP DOI BibTeX RDF
15	Hui Wan 0001, 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
15	Tim Kimber, Krysia Broda, Alessandra Russo	Induction on Failure: Learning Connected Horn Theories.	LPNMR	2009	DBLP DOI BibTeX RDF	Inverse Entailment, Abductio, Inductive Logic Programming
15	Ilkka Niemelä	Integrating Answer Set Programming and Satisfiability Modulo Theories.	LPNMR	2009	DBLP DOI BibTeX RDF
15	Viorica Sofronie-Stokkermans	Locality Results for Certain Extensions of Theories with Bridging Functions.	CADE	2009	DBLP DOI BibTeX RDF
15	Hyondeuk Kim, Fabio Somenzi, HoonSang Jin	Efficient Term-ITE Conversion for Satisfiability Modulo Theories.	SAT	2009	DBLP DOI BibTeX RDF
15	Aparecido Fabiano Pinatti de Carvalho, Júnia Coutinho Anacleto Silva, Vânia Paula de Almeida Néris	Designing for Culturally Contextualized Learning Activity Planning: Matching Learning Theories and Practice.	INTERACT (2)	2009	DBLP DOI BibTeX RDF	common sense knowledge, Web Design Pattern, design, e-learning, contextualization, learning activity, pedagogical issues, computer tool
15	Andrew E. M. Lewis, André Nies, Andrea Sorbi	The First Order Theories of the Medvedev and Muchnik Lattices.	CiE	2009	DBLP DOI BibTeX RDF
15	Nataliia Bielova, Fabio Massacci, Andrea Micheletti	Towards Practical Enforcement Theories.	NordSec	2009	DBLP DOI BibTeX RDF
15	Andrew Butterfield, Pawel Gancarski, Jim Woodcock 0001	State Visibility and Communication in Unifying Theories of Programming.	TASE	2009	DBLP DOI BibTeX RDF
15	Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, María Magdalena Fernández-Lebrón	Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations.	Calculemus/MKM	2009	DBLP DOI BibTeX RDF	Conservative retraction, Independence Rule, boolean derivatives