Search results for "propositions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
61	Woojin Paik, Jee Yeon Lee	Extracting Legal Propositions from Appellate Decisions with Text Discourse Analysis Methods.	OTM Workshops	2004	DBLP DOI BibTeX RDF
52	Dale Jacquette	Propositions, Sets, and Worlds.	Stud Logica	2006	DBLP DOI BibTeX RDF	Abstract entity, Jubien, Michael, logically possible world, modal actualism, modal (platonic) realism, ontological commitment, ontology, modal logic, set, proposition
52	Alexander Osterwalder, Yves Pigneur	Modeling value propositions in e-Business.	ICEC	2003	DBLP DOI BibTeX RDF	business model design, ontology, business model, business strategy, value proposition
52	Christopher J. Merz, William E. Bond, Daniel C. St. Clair	Matching Interval-Valued-Argument Propositions in Rule-Based Systems.	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF
52	R. Sadananda, Nizam Uddin Ahmed	Towards conceptualisation of physical object propositions (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
44	Gabriella Pigozzi, Stephan Hartmann 0001	Aggregation in multiagent systems and the problem of truth-tracking.	AAMAS	2007	DBLP DOI BibTeX RDF	doctrinal paradox, truth-tracking, information fusion, group decision-making, judgment aggregation, belief merging
44	Carleen F. Maitland	Global diffusion of interactive networks: The impact of culture.	AI Soc.	1999	DBLP DOI BibTeX RDF	Critical mass, Hofstede, Internet, Culture, Diffusion, Interactive networks, National culture
43	Ming Chen 0003, Lingbo Pei, Wen Liang	Three propositions about distributions of network traffic.	SpringSim (1)	2007	DBLP BibTeX RDF	double-mode transition model, internet structure, self-similarity, network traffic, Poisson distribution
43	Orna Kupferman	Augmenting Branching Temporal Logics with Existential Quantification over Atomic Propositions.	CAV	1995	DBLP DOI BibTeX RDF
42	Chengqi Zhang	Heterogeneous Transformation of Uncertainties of Propositions Among Inexact Reasoning Models.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	heterogeneous transformation, uncertainties of propositions, inexact reasoning models, general criteria, heterogeneous distributed expert system, heterogeneous inexact reasoning, individual unit elements, homomorphic mapping, unique mapping, EMYCIN, PROSPECTOR, MYCIN, homomorphic transformations, distributed processing, expert systems, inference mechanisms, fuzzy set theory, uncertainty handling, semigroup, algebraic structure
36	Heng Guo 0001, Hanpin Wang, Zhongyuan Xu, Yongzhi Cao	On Model Checking Boolean BI.	CSL	2009	DBLP DOI BibTeX RDF
36	Damith Senaratne, E. Chulantha Kulasekere	Enhancing flexibility of belief representations.	ICNSC	2008	DBLP DOI BibTeX RDF
36	Gabriella Pigozzi	Belief merging and the discursive dilemma: an argument-based account to paradoxes of judgment aggregation.	Synth.	2006	DBLP DOI BibTeX RDF	Discursive dilemma, Discursive paradox, Fusion, Judgment aggregation, Belief merging
36	Kamal Lodaya, Ramaswamy Ramanujam	Tense Logics for Local Reasoning in Distributed Systems.	FSTTCS	1991	DBLP DOI BibTeX RDF
36	João P. Martins	Computational issues in belief revision.	The Logic of Theory Change	1989	DBLP DOI BibTeX RDF
36	Madhukar N. Thakur, John Dinsmore	Time representation based on knowledge partitioning (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
35	Eli Dresner	A Measurement Theoretic Account of Propositions.	Synth.	2006	DBLP DOI BibTeX RDF
35	Souhila Kaci, Leendert W. N. van der Torre	Permissions and Uncontrollable Propositions in DSDL3: Non-monotonicity and Algorithms.	DEON	2006	DBLP DOI BibTeX RDF
35	Elena Akhmatova, Diego Mollá	Recognizing Textual Entailment Via Atomic Propositions.	MLCW	2005	DBLP DOI BibTeX RDF
35	Horacio L. Arló-Costa	A Theory of Contextual Propositions for Indicatives.	CONTEXT	2003	DBLP DOI BibTeX RDF
35	Cristina Ribeiro 0001, António Porto	Representation and Inference with Consistent Temporal Propositions.	ELP	1993	DBLP DOI BibTeX RDF
35	Robert Laganière, Amar Mitiche	A 3D Interpretation System Based on Consistent Labeling of a Set of Propositions. Application to the Interpretation of Straight Line Correspondences.	ECCV	1990	DBLP DOI BibTeX RDF
34	Chris Matthews, Paul A. Swatman	Fuzzy concepts and formal methods: some illustrative examples.	APSEC	2000	DBLP DOI BibTeX RDF	fuzzy concepts, problem types, fuzzy logic toolkit, problem domains, soft preconditions, linguistically quantified propositions, modelling, formal specification, formal methods, fuzzy logic, information systems, requirements engineering, uncertainty, specification languages, specification languages, formal modelling, fuzzy set theory, fuzzy set theory, uncertainty handling, fuzzy relations, system requirements, imprecision, Z language
34	Naijun Zhan	Another formal proof for Deadline Driven Scheduler.	RTCSA	2000	DBLP DOI BibTeX RDF	Deadline Driven Scheduler, DDS correctness, random preemption, induction rules, induction propositions, intuitive facts, scheduling, real-time systems, theorem proving, process algebra, duration calculus, formal proof, DC
34	Behou Gérard N'Guessan	Propositions de méthodologies pour la valorisation de la médecine traditionnelle fondées sur une ontologie. (Propositions of methodologies for valorization of traditional medicine founded on an ontology).		2016	RDF
34	Carl Pollard	Are (Linguists') Propositions (Topos) Propositions?	LACL	2011	DBLP DOI BibTeX RDF
34	Idriss Diouri	Propositions de méthodes pour adapter le réseau aux contraintes d'applications temps-réel. (Propositions of methods to adapt the network to real-time applications constraints).		2010	RDF
34	Julien Jorge	Nouvelles propositions pour la résolution exacte du sac à dos multi-objectif unidimensionnel en variables binaires. (New propositions for the exact solution of the unidimensional multi-criteria knapsack problem with binary variables).		2010	RDF
34	Ludovic Hablot	Réseau longue distance et application distribuée dans les grilles de calcul : étude et propositions pour une interaction efficace. (Long-distance network and distributed applications in computing grids: study and propositions for an efficient interaction).		2009	RDF
34	Ricardo Caferra, Nicolas Peltier	Accepting/rejecting propositions from accepted/rejected propositions: A unifying overview.	Int. J. Intell. Syst.	2008	DBLP DOI BibTeX RDF
34	Dino Martin López-Pacheco	Propositions for a robust and inter-operable eXplicit Control Protocol on heterogeneous high speed networks. (Propositions pour une version robuste et inter-operable d' eXpliciit Control Protocol dans des réseaux hétérogènes à haut débit).		2008	RDF
34	Yayoi Nakamura-Delloye	Détection des propositions syntaxiques du français en vue de l'alignement des propositions de textes parallèles français-japonais.	TALN (Posters)	2006	DBLP BibTeX RDF
34	Eric Dillon	Propositions pour la maîtrise de la programmation par échange de messages. (Propositions to master message passing programming).		1997	RDF
27	Carl Pollard	Hyperintensional Questions.	WoLLIC	2008	DBLP DOI BibTeX RDF
27	Michael Katelman, José Meseguer 0001, Santiago Escobar 0001	Directed-Logical Testing for Functional Verification of Microprocessors.	MEMOCODE	2008	DBLP DOI BibTeX RDF
27	Thorsten Altenkirch, Conor McBride, Wouter Swierstra	Observational equality, now!	PLPV	2007	DBLP DOI BibTeX RDF	type theory, equality
27	Björn Johansson 0001	Developing a "Better" ERP System: The Risk of Loosing Competitive Advantage.	CONFENIS (2)	2007	DBLP DOI BibTeX RDF	ERP development, Enterprise resource planning (ERP), Value Chain, Competitive advantage, Resource-based view
27	Jeremie Leguay, Timur Friedman	QoS Routing in OLSR with Several Classes of Service.	PerCom Workshops	2006	DBLP DOI BibTeX RDF
27	Joanna Moulierac, Miklós Molnár	Active Monitoring of Link Delays in Case of Asymmetric Routes.	ICN/ICONS/MCL	2006	DBLP DOI BibTeX RDF
27	Ossi Taipale, Kari Smolander	Improving software testing by observing practice.	ISESE	2006	DBLP DOI BibTeX RDF	software testing, process improvement, grounded theory
27	Frederick J. Riggins, Kelly T. Slaughter	The Role of Collective Mental Models in IOS Adoption: Opening the Black Box of Rationality in RFID Deployment.	HICSS	2006	DBLP DOI BibTeX RDF
27	Evangelia Gouli, Agoritsa Gogoulou, Kyparisia A. Papanikolaou, Maria Grigoriadou	Evaluating Learner's Knowledge Level on Concept Mapping Tasks.	ICALT	2005	DBLP DOI BibTeX RDF
27	Haluk Demirkan, Michael Goul, Daniel S. Soper	Service Level Agreement Negotiation: A Theory-based Exploratory Study as a Starting Point for Identifying Negotiation Support System Requirements.	HICSS	2005	DBLP DOI BibTeX RDF
27	Philip M. Long, Vinay Varadan, Sarah Gilman, Mark Treshock, Rocco A. Servedio	Unsupervised evidence integration.	ICML	2005	DBLP DOI BibTeX RDF
27	Gilles Dowek, Thérèse Hardin, Claude Kirchner	Theorem Proving Modulo.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF	sequent calculus modulo, resolution, rewriting, automated theorem proving, higher-order logic, cut elimination, narrowing, Skolemization, deduction modulo
27	Christophe Raffalli	System ST \beta-reduction and completeness.	LICS	2003	DBLP DOI BibTeX RDF	lambda-calcul, type, subtype
27	Henri Hansen, Heikki Virtanen, Antti Valmari	Merging State-Based and Action-Based Verification.	ACSD	2003	DBLP DOI BibTeX RDF
27	Dimitra Giannakopoulou, Jeff Magee	Fluent model checking for event-based systems.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	model-checking, linear temporal logic, software architecture analysis
27	Robert K. Lindsay	Playing with Diagrams.	Diagrams	2000	DBLP DOI BibTeX RDF
27	Laura Firoiu, Paul R. Cohen	Learning Elements of Representations for Redescribing Robot Experiences.	IDA	1999	DBLP DOI BibTeX RDF
27	Yun Bai 0001, Vijay Varadharajan	A High Level Language for Conventional Access Control Models.	ACISP	1998	DBLP DOI BibTeX RDF	Policy Transformations, Formal Language, Access Control Model, Authorization Policies
27	Pedro A. de Matos, João P. Martins	Contextual Logic of Change and Contextual Proofs.	TIME	1997	DBLP DOI BibTeX RDF
27	Laurent Fleury, Chabane Djeraba, Henri Briand, Jacques Philippe	Rule Evaluations in a KDD System	DEXA	1995	DBLP DOI BibTeX RDF	measurement of an implication, discovery in a noisy, sparse and redundant context, algorithm for finding a minimal set of rules, evaluation, Knowledge Discovery in Databases
27	Denys Bernard, Mario Borillo, Bruno Gaume	From event calculus to the scheduling problem. Semantics of action and temporal reasoning in aircraft maintenance.	Appl. Intell.	1991	DBLP DOI BibTeX RDF	semantics of action, pragmatics of aircraft maintenance, scheduling, temporal reasoning, Event calculus
26	Martin Meyer 0002	What do we know about innovation in nanotechnology? Some propositions about an emerging field between hype and path-dependency.	Scientometrics	2007	DBLP DOI BibTeX RDF
26	Cristian Morosan, Daniel R. Fesenmaier	A Conceptual Framework of Persuasive Architecture of Tourism Websites: Propositions and Implications.	ENTER	2007	DBLP DOI BibTeX RDF	online information search, Persuasion, consumer behavior, website design
26	Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, Steve Roach	Using Patterns and Composite Propositions to Automate the Generation of LTL Specifications.	ATVA	2007	DBLP DOI BibTeX RDF
26	Volker Stolz	Temporal Assertions with Parametrised Propositions.	RV	2007	DBLP DOI BibTeX RDF
26	Friederike Moltmann	Unbound Anaphoric Pronouns: E-Type, Dynamic, and Structured-Propositions Approaches.	Synth.	2006	DBLP DOI BibTeX RDF
26	Jun Li, Guojun Wang	Theory of truth degrees of propositions in the logic system Ln*.	Sci. China Ser. F Inf. Sci.	2006	DBLP DOI BibTeX RDF	truth degree, approximate reasoning, similarity degree
26	Christy M. K. Cheung, Matthew K. O. Lee	Consumer satisfaction with internet shopping: a research framework and propositions for future research.	ICEC	2005	DBLP DOI BibTeX RDF	electronic commerce, information quality, service quality, end-user computing, system quality, Internet shopping, SERVQUAL, consumer satisfaction
26	Graham Winch, Philip Joyce	Codifying Business and Process Models for Service-Based eBusiness Propositions.	EEE	2005	DBLP DOI BibTeX RDF
26	Kevin Crowston, Hala Annabi, James Howison, Chengetai Masango	Effective Work Practices for FLOSS Development: A Model and Propositions.	HICSS	2005	DBLP DOI BibTeX RDF
26	Suling Zhang, Jerry Fjermestad, Marilyn Tremaine	Leadership Styles in Virtual Team Context: Limitations, Solutions and Propositions.	HICSS	2005	DBLP DOI BibTeX RDF
26	Deepak Khazanchi, Bjørn Erik Munkvold	On the Rhetoric and Relevance of IS Research Paradigms: A Conceptual Framework and Some Propositions.	HICSS	2003	DBLP DOI BibTeX RDF
26	Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani	A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions.	CADE	2002	DBLP DOI BibTeX RDF
25	Salamah Salamah, Ann Q. Gates, Steve Roach	Improving Pattern-Based LTL Formulas for Automata Model Checking.	ITNG	2008	DBLP DOI BibTeX RDF	B¨uchi Automaton, Prospec, Composite Propositions, Pattern, LTL, Scope
25	Dawn N. Jutla, James Craig, Peter Bodorik	A Methodology for Creating E-Business Strategy.	HICSS	2001	DBLP DOI BibTeX RDF	e-Business strategy, Knowledge management, e-Commerce, Business model, e-Business, Value propositions, Relationship management
25	John R. Fisher, Luu Tran	A visual logic.	SAC	1996	DBLP DOI BibTeX RDF	classical negation, clause trees, supported propositions, visual logic, logic programs
25	Hermann von Issendorff	Time and Logic: A Calculus of Binary Events.	Computing	1995	DBLP DOI BibTeX RDF	causality and time, time-bound propositions, three-valued algebra, processing logic, Theory of computation
25	Vineet Gupta 0001, Vaughan R. Pratt	Gages Accept Concurrent Behavior	FOCS	1993	DBLP DOI BibTeX RDF	natural concurrent programming language, concurrent behavior, Boolean propositions, intrinsic notion, consequence-preserving renamings, automata, linear logic, duality, accepters, event structures, gates, morphisms, algebraic structure
25	Roberto Maiocchi, Barbara Pernici, Federico Barbic	Automatic Deduction of Temporal Information.	ACM Trans. Database Syst.	1992	DBLP DOI BibTeX RDF	meta-level temporal assertions, temporal modalities, time calculus, events, temporal database, propositions
25	Ronald R. Yager	Deductive Approximate Reasoning Systems.	IEEE Trans. Knowl. Data Eng.	1991	DBLP DOI BibTeX RDF	deductive approximate reasoning systems, AR-1, statements, joint variables, AR-2, AR-5, restrictive version, probability, fuzzy sets, inference mechanisms, fuzzy set theory, probability theory, propositions
18	Du Zhang	On Temporal Properties of Knowledge Base Inconsistency.	Trans. Comput. Sci.	2009	DBLP DOI BibTeX RDF	knowledge inconsistency, temporal inconsistency, interval relations, conflicting intervals, Interval temporal logic
18	Asma Moubaiddin, Nadim Obeid	Partial information basis for agent-based collaborative dialogue.	Appl. Intell.	2009	DBLP DOI BibTeX RDF	Partial information states, Agent, Theorem proving, Argument, Dialogue, Three-valued logic, Nonmonotonic
18	Caslav Brukner	Quantum complementarity and logical indeterminacy.	Nat. Comput.	2009	DBLP DOI BibTeX RDF	Quantum complementarity, Logical indeterminacy, Mathematical undecidability
18	Emmanuel Lochin, Pascal Anelli	TCP throughput guarantee in the DiffServ Assured Forwarding service: what about the results?	Ann. des Télécommunications	2009	DBLP DOI BibTeX RDF	End to end guarantee, Assured forwarding, QoS, TCP, DiffServ
18	Adam Brandenburger	Origins of epistemics.	TARK	2009	DBLP DOI BibTeX RDF
18	Gabriella Pigozzi, Marija Slavkovik 0001, Leendert W. N. van der Torre	A Complete Conclusion-Based Procedure for Judgment Aggregation.	ADT	2009	DBLP DOI BibTeX RDF
18	Thomas Vetterlein	Fuzzy logic as a logic of the expressive strength of information.	Soft Comput.	2008	DBLP DOI BibTeX RDF
18	Carlos Javier Mantas, José Manuel Puche	Artificial Neural Networks are Zero-Order TSK Fuzzy Systems.	IEEE Trans. Fuzzy Syst.	2008	DBLP DOI BibTeX RDF
18	Jessie Qun Ren, Philip Hardwick	Revenue model innovations in the Chinese online game market.	MindTrek	2008	DBLP DOI BibTeX RDF	chinese online game market, evolutionary model innovation, levels of market dominance, revenue model innovation, revolutionary model innovation
18	Caslav Brukner	Quantum Experiments Can Test Mathematical Undecidability.	UC	2008	DBLP DOI BibTeX RDF
18	Xunwei Zhou	Mutually-Inversistic Logic with Uncertainty.	FSKD (1)	2008	DBLP DOI BibTeX RDF
18	Tudor Groza, Siegfried Handschuh, John G. Breslin	Adding Provenance and Evolution Information to Modularized Argumentation Models.	Web Intelligence	2008	DBLP DOI BibTeX RDF
18	Inès Kammoun 0001, Antonio Maria Cipriano, Jean-Claude Belfiore	Non-Coherent Codes over the Grassmannian.	IEEE Trans. Wirel. Commun.	2007	DBLP DOI BibTeX RDF
18	Nathaniel Charlton, Michael Huth 0001	Hector: Software Model Checking with Cooperating Analysis Plugins.	CAV	2007	DBLP DOI BibTeX RDF
18	Ailsa Kolsaker, Liz Lee-Kelley	'Mind the Gap II': E-Government and E-Governance.	EGOV	2007	DBLP DOI BibTeX RDF
18	Narasimha Bolloju, Vijayan Sugumaran	Quality Dependencies Among Use Case Models and Sequence Diagrams Developed by Novice Systems Analysts.	ER Workshops	2007	DBLP DOI BibTeX RDF	UML artifacts, novice systems analysts, quality dependencies, association rules
18	Gabriella Pigozzi, Stephan Hartmann 0001	Judgment aggregation and the problem of truth-tracking.	TARK	2007	DBLP DOI BibTeX RDF
18	Mary Keeler	Revelator Game of Inquiry: A Peircean Challenge for Conceptual Structures in Application and Evolution.	ICCS	2007	DBLP DOI BibTeX RDF
18	Daniel Singer, Anthony Monnet	JaCk-SAT: A New Parallel Scheme to Solve the Satisfiability Problem (SAT) Based on Join-and-Check.	PPAM	2007	DBLP DOI BibTeX RDF
18	Imad Samarah, Souren Paul, Suresh Tadisina	Collaboration Technology Support for Knowledge Conversion in Virtual Teams: A Theoretical Perspective.	HICSS	2007	DBLP DOI BibTeX RDF
18	Ali Mili 0001, Alex Vinokurov, Lamia Labed Jilani, Frederick T. Sheldon, Rahma Ben Ayed	Towards an Engineering Discipline of Computational Society.	HICSS	2007	DBLP DOI BibTeX RDF	Computable security attributes, security, fault tolerance, reliability, verification, testing, integrity, dependability, safety, survivability
18	Guillaume Burel, Claude Kirchner	Cut Elimination in Deduction Modulo by Abstract Completion.	LFCS	2007	DBLP DOI BibTeX RDF	Knuth-Bendix completion, automated deduction and interactive theorem proving, proof ordering, abstract canonical system, cut elimination, deduction modulo
18	Sylvain Dahan, Mitsuhisa Sato	Survey of Six Myths and Oversights about Distributed Hash Tables' Security.	ICDCS Workshops	2007	DBLP DOI BibTeX RDF
18	Rahul C. Basole	The Emergence of the Mobile Enterprise: A Value-Driven Perspective.	ICMB	2007	DBLP DOI BibTeX RDF
18	Clare Dixon, Michael Fisher 0001, Boris Konev	Temporal Logic with Capacity Constraints.	FroCoS	2007	DBLP DOI BibTeX RDF
18	Douglas Walton	How to make and defend a proposal in a deliberation dialogue.	Artif. Intell. Law	2006	DBLP DOI BibTeX RDF	critical questions, formal dialogue systems, profiles of dialogue, artificial intelligence, practical reasoning, electronic democracy, argumentation schemes
18	Robert Demolombe, Maria del Pilar Pozos Parra	Belief Revision in the Situation Calculus Without Plausibility Levels.	ISMIS	2006	DBLP DOI BibTeX RDF