Search results for "theories"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Yannick Chevalier, Michaël Rusinowitch	Combining Intruder Theories.	ICALP	2005	DBLP DOI BibTeX RDF
20	Jifeng He 0001	Linking Theories of Concurrency by Retraction.	ICDCIT	2005	DBLP DOI BibTeX RDF
20	Tran Cao Son, Phan Huy Tu, Michael Gelfond, A. Ricardo Morales	An Approximation of Action Theories of and Its Application to Conformant Planning.	LPNMR	2005	DBLP DOI BibTeX RDF
20	Marek J. Sergot, Robert Craven	Some Logical Properties of Nonmonotonic Causal Theories.	LPNMR	2005	DBLP DOI BibTeX RDF
20	Zihong Liu, Zhihua Wang 0001, Guolin Li, Zhiping Yu	A Novel Solid Neuron-Network Chip Based on Both Biological and Artificial Neural Network Theories.	ISNN (1)	2005	DBLP DOI BibTeX RDF
20	Franz Baader, Silvio Ghilardi	Connecting Many-Sorted Theories.	CADE	2005	DBLP DOI BibTeX RDF
20	Frédéric Koriche	Online Closure-Based Learning of Relational Theories.	ILP	2005	DBLP DOI BibTeX RDF
20	Tomasz Truderung	Selecting Theories and Recursive Protocols.	CONCUR	2005	DBLP DOI BibTeX RDF
20	Pedro Cabalar, David Pearce 0001, Agustín Valverde	Reducing Propositional Theories in Equilibrium Logic to Logic Programs.	EPIA	2005	DBLP DOI BibTeX RDF
20	John Power	Discrete Lawvere Theories.	CALCO	2005	DBLP DOI BibTeX RDF
20	Silvio Ranise, Christophe Ringeissen, Calogero G. Zarba	Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic.	FroCoS	2005	DBLP DOI BibTeX RDF
20	Lech Polkowski	Rough Mereology as a Link Between Rough and Fuzzy Set Theories. A Survey.	Trans. Rough Sets	2004	DBLP DOI BibTeX RDF	granular calculus, rough-fuzzy-neurocomputing, fuzzy set theory, rough set theory, rough mereology, rough inclusions, computing with words
20	Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli	Abstract DPLL and Abstract DPLL Modulo Theories.	LPAR	2004	DBLP DOI BibTeX RDF
20	Antonio Bucciarelli, Antonino Salibra	The Sensible Graph Theories of Lambda Calculus.	LICS	2004	DBLP DOI BibTeX RDF
20	Grigore Rosu	Extensional Theories and Rewriting.	ICALP	2004	DBLP DOI BibTeX RDF
20	Carlos Nakamura, Susanne P. Lajoie	The Overlaying Roles of Cognitive and Information Theories in the Design of Information Access Systems.	Intelligent Tutoring Systems	2004	DBLP DOI BibTeX RDF
20	Joohyung Lee 0002	Nondefinite vs. Definite Causal Theories.	LPNMR	2004	DBLP DOI BibTeX RDF
20	Jim Woodcock 0001, Ana Cavalcanti 0001	A Tutorial Introduction to Designs in Unifying Theories of Programming.	IFM	2004	DBLP DOI BibTeX RDF
20	Ana Cavalcanti 0001, Jim Woodcock 0001	A Tutorial Introduction to CSP in Unifying Theories of Programming.	PSSE	2004	DBLP DOI BibTeX RDF
20	Rudolf Wille	Truncated Distributive Lattices: Conceptual Structures of Simple-Implicational Theories.	Order	2003	DBLP DOI BibTeX RDF	formal concept analysis, implications, distributive lattices
20	Matthias Baaz, Christian G. Fermüller	A Translation Characterizing the Constructive Content of Classical Theories.	LPAR	2003	DBLP DOI BibTeX RDF
20	I. Burhan Türksen	A Perspective on the Philosophical Grounding of Fuzzy Theories.	IFSA	2003	DBLP DOI BibTeX RDF
20	Mark Witkowski	Towards a Four Factor Theory of Anticipatory Learning.	ABiALS	2003	DBLP DOI BibTeX RDF
20	Angela Eaton	Commentary on "planning and information foraging theories and their value to the novice technical communicator.	ACM J. Comput. Documentation	2002	DBLP DOI BibTeX RDF	behavioral ecology, documentation, information, foraging
20	Morteza Moniri	H-theories, fragments of HA and PA-normality.	Arch. Math. Log.	2002	DBLP DOI BibTeX RDF
20	Rami P. Grossberg, José Iovino, Olivier Lessmann	A primer of simple theories.	Arch. Math. Log.	2002	DBLP DOI BibTeX RDF
20	Jim Woodcock 0001, Arthur P. Hughes	Unifying Theories of Parallel Programming.	ICFEM	2002	DBLP DOI BibTeX RDF
20	Pieter Bekaert, Bert Van Nuffelen, Maurice Bruynooghe, David Gilis, Marc Denecker	On the Transformation of Object-Oriented Conceptual Models to Logical Theories.	ER	2002	DBLP DOI BibTeX RDF
20	Helmut Röhrl	Convexity Theories VII. Discrete Gamma-Convex Modules.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	discrete -convex module, join semilattice, Klein-Hilbert relation
20	Claudette Cayrol, Sylvie Doutre, Jérôme Mengin	Dialectical Proof Theories for the Credulous Preferred Semantics of Argumentation Frameworks.	ECSQARU	2001	DBLP DOI BibTeX RDF
20	Liviu Badea	A Refinement Operator for Theories.	ILP	2001	DBLP DOI BibTeX RDF
20	Franz Lehner 0001, Ronald Maier	How Can Organizational Memory Theories Contribute to Organizational Memory Systems?	Inf. Syst. Frontiers	2000	DBLP DOI BibTeX RDF	organizational intelligence, knowledge management, organizational learning, organizational memory, knowledge management system, organizational memory system
20	Michael J. Wooldridge	Computationally Grounded Theories of Agency.	ICMAS	2000	DBLP DOI BibTeX RDF
20	Seiya Abiko	Lessons from nursing theories: Toward the humanisation of technology.	AI Soc.	1999	DBLP DOI BibTeX RDF	Environmental conditions, Fundamental human needs, Humanistic nature of technology, Nursing theory, People's health and welfare, Promotion of adaptation
20	C. A. R. Hoare	Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle.	Correct System Design	1999	DBLP DOI BibTeX RDF
20	Ilyas Cicekli	Theories and Proofs in Fault Diagnosis.	AIMSA	1998	DBLP DOI BibTeX RDF
20	C. A. R. Hoare, Jifeng He 0001	Unifying Theories for Parallel Programming.	Euro-Par	1997	DBLP DOI BibTeX RDF
20	Giovanni Semeraro, Floriana Esposito, Donato Malerba, Nicola Fanizzi, Stefano Ferilli	A Logic Framework for the Incremental Inductive Synthesis of Datalog Theories.	LOPSTR	1997	DBLP DOI BibTeX RDF
20	Sergei G. Vorobyov	An Improved Lower Bound for the Elementary Theories of Trees.	CADE	1996	DBLP DOI BibTeX RDF
20	Paul John King, Kiril Ivanov Simov	The Automatic Deduction of Classificatory Systems from Linguistic Theories (Abridged).	LACL	1996	DBLP DOI BibTeX RDF
20	Michael Kaminski, Johann A. Makowsky, Michael L. Tiomkin	Extensions for Open Default Theories via the Domain Closure Assumption.	JELIA	1996	DBLP DOI BibTeX RDF
20	Fangzhen Lin, Yoav Shoham	Provably Correct Theories of Action.	J. ACM	1995	DBLP DOI BibTeX RDF	concurrent actions, temporal reasoning, reasoning about actions, frame problem
20	Laurent Vigneron	Positive Deduction modulo Regular Theories.	CSL	1995	DBLP DOI BibTeX RDF
20	Klaus U. Schulz	On Existential Theories of List Concatenation.	CSL	1994	DBLP DOI BibTeX RDF
20	Christophe Ringeissen	Unification in a Combination of Equational Theories with Shared Constants and its Application to Primal Algebras.	LPAR	1992	DBLP DOI BibTeX RDF
20	Andrzej Salwicki	On a Hierarchy of File Types and a Tower of Their Theories.	MFCS	1991	DBLP DOI BibTeX RDF
20	Stephen L. Bloom, Zoltán Ésik	Program Correctness and Matricial Iteration Theories.	MFPS	1991	DBLP DOI BibTeX RDF
20	Jia-Huai You	Outer Narrowing for Equational Theories Based on Constructors.	ICALP	1988	DBLP DOI BibTeX RDF
19	Lucas C. Cordeiro	SMT-based bounded model checking for multi-threaded software in embedded systems.	ICSE (2)	2010	DBLP DOI BibTeX RDF	SAT modulo theories, formal software verification, multicore systems, computer-aided verification
19	S. L. Chan, Azizah Jaafa	Usage-Centered Design Approach in Design of Malaysia Sexuality Education (MSE) Courseware.	IVIC	2009	DBLP DOI BibTeX RDF	Sexuality Education, ADDIE, Usage-Centered Design, Usability, Learning Theories
19	Steven R. Haynes, John M. Carroll 0001, Thomas George Kannampallil, Lu Xiao 0002, Paula M. Bach	Design research as explanation: perceptions in the field.	CHI	2009	DBLP DOI BibTeX RDF	theories of explanation, design research, design science
19	Cristina Borralleras, Salvador Lucas, Rafael Navarro-Marset, Enric Rodríguez-Carbonell, Albert Rubio	Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic.	CADE	2009	DBLP DOI BibTeX RDF	polynomial constraints, SAT modulo theories, program analysis, termination, Constraint solving
19	Erika Shehan Poole, Christopher A. Le Dantec, James R. Eagan, W. Keith Edwards	Reflecting on the invisible: understanding end-user perceptions of ubiquitous computing.	UbiComp	2008	DBLP DOI BibTeX RDF	folk theories, technology adoption, qualitative methods, evaluation techniques, social implications
19	Steven R. Haynes, Jonathan M. Singel, Thomas George Kannampallil	An Information Systems Design Theory for Supporting WMD Knowledge Reachback.	EuroISI	2008	DBLP DOI BibTeX RDF	Weapons of mass destruction, Reachback, Information Systems Design Theories
19	José Meseguer 0001, Prasanna Thati	Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	Rewrite theories, Security protocols, Reachability, Narrowing
19	Stefan Rank, Paolo Petta	Basing Artificial Emotion on Process and Resource Management.	ACII	2007	DBLP DOI BibTeX RDF	Affective agent architectures, appraisal theories, disgust, real-time systems, computational modelling, embodiment, design criteria
19	Yannick Chevalier, Denis Lugiez, Michaël Rusinowitch	Towards an Automatic Analysis of Web Service Security.	FroCoS	2007	DBLP DOI BibTeX RDF	combination of decision procedures, Security, Web services, verification, cryptographic protocols, rewriting, equational theories
19	José Nuno Oliveira, César Jesus Rodrigues	Pointfree Factorization of Operation Refinement.	FM	2006	DBLP DOI BibTeX RDF	reusable theories, refinement, Theoretical foundations, calculation
19	Christine E. Wania, Michael E. Atwood, Katherine W. McCain	How do design and evaluation interrelate in HCI research?	Conference on Designing Interactive Systems	2006	DBLP DOI BibTeX RDF	design taxonomy, theories of design, bibliometrics
19	Apurva Jain, Barry W. Boehm	Developing a theory of value-based software engineering.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	Theory W, benefits realization, dependency theory, risk/opportunity management, stakeholder win-win, theory of justice, game theory, adaptive control, decision theory, control theory, domain theories, value-based software engineering, utility theory
19	Orit Hazzan, Yael Dubinsky	Social Perspective of Software Development Methods: The Case of the Prisoner Dilemma and Extreme Programming.	XP	2005	DBLP DOI BibTeX RDF	Agile software development methods, the prisoner dilemma, game-theory, extreme programming, social theories
19	Anke Dittmar, Peter Forbrig	A unified description formalism for complex HCI-systems.	SEFM	2005	DBLP DOI BibTeX RDF	Formal models of interactive systems, Integration of HCI theories, Human- Computer Interaction (HCI)
19	Huaiqing Wang, Mingyi Zhang 0002, Dongming Xu, Dan Zhang II	A Framework of Fuzzy Diagnosis.	IEEE Trans. Knowl. Data Eng.	2004	DBLP DOI BibTeX RDF	fuzzy diagnosis, fuzzy truth function logic, clause-style fuzzy theories, Knowledge representation, fault diagnosis, uncertainty reasoning
19	Guillem Godoy, Robert Nieuwenhuis	Constraint Solving for Term Orderings Compatible with Abelian Semigroups, Monoids and Groups.	Constraints An Int. J.	2004	DBLP DOI BibTeX RDF	symbolic constraints, built-in theories, automated deduction, term orderings
19	Alfred Dolich	Weak dividing, chain conditions, and simplicity.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF	Simple theories, Weak dividing, Dividing
19	Antonino Salibra	Topological incompleteness and order incompleteness of the lambda calculu.	ACM Trans. Comput. Log.	2003	DBLP DOI BibTeX RDF	Lambda theories, order and topological incompleteness, orderability/unorderability, partially ordered models, Lambda calculus, topological models
19	Bart Van Kerkhove, Guido Vanackere	Vagueness-Adaptive Logic: A Pragmatical Approach to Sorites Paradoxes.	Stud Logica	2003	DBLP DOI BibTeX RDF	Sorites paradox, philosophical logic, construction of scientific theories, philosophy of language, paraconsistent logic, vagueness, adaptive logic
19	Enrique Casanovas	Dividing and chain conditions.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF	Simple theories, Dividing, Indiscernibles
19	Augusto Sampaio, Jim Woodcock 0001, Ana Cavalcanti 0001	Refinement in Circus.	FME	2002	DBLP DOI BibTeX RDF	unifying theories of programming, distribution, CSP, Z
19	João Luiz Jung, Patrícia Augustin Jaques, Adja Ferreira de Andrade, Rosa Maria Vicari	The Conception of Agents as Part of a Social Model of Distance Learning.	SBIA	2002	DBLP DOI BibTeX RDF	Socio-Interactionist Pedagogical Theories, Intelligent Tutoring Systems, Distance Education
19	Jacques Wainer, Danillo Palacio Braga	Symgroup: applying social agents in a group interaction system.	GROUP	2001	DBLP DOI BibTeX RDF	discussion systems, agents, social theories
19	Alex K. Simpson, Gordon D. Plotkin	Complete Axioms for Categorical Fixed-Point Operators.	LICS	2000	DBLP DOI BibTeX RDF	iteration theories, fixed points, domain theory, Categorical models
19	Margaret Mary West, Thomas Leo McCluskey	The application of a machine learning tool to the validation of an air traffic control domain theory.	ICTAI	2000	DBLP DOI BibTeX RDF	machine learning tool, air traffic control domain theory, general clause form theories, ordinal sorts, geometrical revision operators, learning (artificial intelligence), air traffic control, IMPRESS
19	Rostislav E. Yavorsky	On the Logic of the Standard Proof Predicate.	CSL	2000	DBLP DOI BibTeX RDF	logic of proofs, protocolling extensions of theories, semantics
19	Alejandro Bassi	A Dynamic Associative Semantic Model for Natural Language Processing based on a Spreading Activation Network.	SCCC	2000	DBLP DOI BibTeX RDF	dynamic associative semantic model, spreading activation network, psycholinguistic theories, expected contextual relevance, top-down effect, semantic memories, open-worlds, natural language processing, perception, natural languages, semantic networks, episodic memories, human memory
19	Iliano Cervesato, Frank Pfenning	Linear Higher-Order Pre-Unification.	LICS	1997	DBLP DOI BibTeX RDF	linear higher-order pre-unification, linear lambda calculus, intuitionistic functions, additive unit, additive pairing, proof scorch, linear type theories, sublanguages, logic programming, representation, lambda calculus, logical frameworks, linear functions
19	Didar Zowghi, Ray Offen	A Logical Framework for Modeling and Reasoning About the Evolution of Requirements.	RE	1997	DBLP DOI BibTeX RDF	meta level logic, intuitive aspects, deductive closure, large theories, theory construction, semantically well founded methods, changing requirements management, software engineering, formal specification, belief revision, nonmonotonic reasoning, requirements model, logical framework, nonmonotonic logic, formal description, requirements engineering process, requirements evolution
19	Bráulio Coelho Ávila, Jair Minoro Abe, José Pacheco de Almeida Prado	ParaLog_e: A Paraconsistent Evidential Logic Programming Language.	SCCC	1997	DBLP DOI BibTeX RDF	Paralog e, paraconsistent evidential logic programming language, reasoning automation, formal theories, conflicting beliefs, contradictory information, paraconsistent logic, logic programming languages, inconsistency handling
19	Jiro Katto, Mutsumi Ohta	Mathematical analysis of MPEG compression capability and its application to rate control.	ICIP	1995	DBLP DOI BibTeX RDF	MPEG compression, temporal predictive processing, MPEG video compression standard, optimum ordering, picture types, image source characteristics, target bit assignment, SNR gains, TM5 algorithm, B-pictures, P-pictures, I-pictures, data compression, video coding, rate control, mathematics, telecommunication standards, prediction theory, prediction theories, code standards, telecommunication control, mathematical analysis, mathematical analysis, coding gain
19	Hojjat Adeli	Neurocomputing for large-scale design automation.	ANNES	1995	DBLP DOI BibTeX RDF	large scale design automation, neurocomputing algorithms, novel design theories, large scale design optimization, high performance computer architecture, optimisation, computational models, neural nets, design engineering, mathematical optimization
19	Andoni Rodríguez, César Sánchez 0001	From Realizability Modulo Theories to Synthesis Modulo Theories Part 1: Dynamic approach.	CoRR	2023	DBLP DOI BibTeX RDF
19	Keita Suzuki, Tomoki Fujiwara, Yukiko Muramoto	The effect of implicit theories on help-seeking behavior: Focusing on anticipated evaluation and perceived implicit theories of the peer member.	CogSci	2023	DBLP BibTeX RDF
19	Kevin Blackwell	Representing suppositional decision theories with sets of desirable gambles.	ISIPTA	2023	DBLP BibTeX RDF
19	Christopher Lynch, Stephen Miner	Complete Trigger Selection in Satisfiability Modulo First-Order Theories.	SMT	2023	DBLP BibTeX RDF
19	Nikolaj S. Bjørner, Clemens Eisenhofer, Laura Kovács	User-Propagators for Custom Theories in SMT Solving.	SMT	2022	DBLP BibTeX RDF
19	Maria Paola Bonacina, Stéphane Graham-Lengrand, Natarajan Shankar	CDSAT for Nondisjoint Theories with Shared Predicates: Arrays With Abstract Length.	SMT	2022	DBLP BibTeX RDF
19	Aurélien Lamercerie	Principe de transduction sémantique pour l'application de théories d'interfaces sur des documents de spécification. (Semantic Transducer for Interface Theories).		2021	RDF
19	Ismaïl Mendil, Yamine Aït Ameur, Neeraj Kumar Singh 0001, Dominique Méry, Philippe A. Palanque	Leveraging Event-B Theories for Handling Domain Knowledge in Design Models.	SETTA	2021	DBLP DOI BibTeX RDF
19	Athel Cornish-Bowden, María Luz Cárdenas	Contrasting theories of life: Historical context, current theories. In search of an ideal theory.	Biosyst.	2020	DBLP DOI BibTeX RDF
19	Yanis Sellami	Abductive reasoning modulo theories and an application to program verification. (Raisonnement abductif modulo des théories et application à la vérification de programmes).		2020	RDF
19	Amazigh Amrane	Posets série-parallèles transfinis : automates, logiques et théories équationnelles. (Series-parallel posets : automata, logic and equational theories).		2020	RDF
19	George Manolakos, Pantelis Manousselis, George Zoupanos	Gauge Theories: From Kaluza-Klein to noncommutative gravity theories.	Symmetry	2019	DBLP DOI BibTeX RDF
19	Carole Deccache	Forum de santé en ligne dédié au diabète : caractérisation des apprentissages des internautes à travers les théories de l'autoformation. Contribution à l'étude du champ de l'éducation thérapeutique. (Online health forum dedicated to diabetes : characterization of Internet users' learning through self-directed learning theories. Contribution to the study of the field of therapeutic education).		2019	RDF
19	Mattias Roux	Extensions de l'algorithme d'atteignabilité arrière dans le cadre de la vérification de modèles modulo théories. (Extensions of the backward reachability algorithm in the model checking modulo theories framework).		2019	RDF
19	Mengmeng Yao, Jun Zhang, Xi Weng	Research of Formal Analysis Based on Extended Strand Space Theories.	ICIC (2)	2019	DBLP DOI BibTeX RDF
19	Min Zhang 0002, Kazuhiro Ogata 0001	From hidden to visible: A unified framework for transforming behavioral theories into rewrite theories.	Theor. Comput. Sci.	2018	DBLP DOI BibTeX RDF
19	Pascal Fontaine	Satisfiability Modulo Theories: state-of-the-art, contributions, project. (Satisfaisabilité Modulo Théories: état de l'art, contributions, projet).		2018	RDF
19	Nicolás Sebastián Gálvez Ramírez	A Framework for Autonomous Generation of Strategies in Satisfiability Modulo Theories. (Un cadre pour la génération autonome de stratégies dans la satisfiabilité modulo des théories).		2018	RDF
19	Jérémy Dubut	Directed homotopy and homology theories for geometric models of true concurrency. (Théories homotopiques et homologiques dirigées pour des modèles géométriques de la vraie concurrence).		2017	RDF
19	Gergely Kovásznai, Csaba Biró, Balazs Erdelyi	Generating Optimal Scheduling for Wireless Sensor Networks by Using Optimization Modulo Theories Solvers.	SMT	2017	DBLP BibTeX RDF