|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 651 occurrences of 539 keywords
|
|
|
Results
Found 1091 publication records. Showing 1091 according to the selection in the facets
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops ![In: On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, GADA, JTRES, MIOS, WORM, WOSE, PhDS, and INTEROP 2004, Agia Napa, Cyprus, October 25-29, 2004. Proceedings, pp. 621-633, 2004, Springer, 3-540-23664-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
52 | Dale Jacquette |
Propositions, Sets, and Worlds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 82(3), pp. 337-343, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEC ![In: Proceedings of the 5th International Conference on Electronic Commerce, ICEC 2003, Pittsburgh, Pennsylvania, USA, September 30 - October 03, 2003, pp. 429-436, 2003, ACM, 1-58113-788-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the ACM 18th Annual Computer Science Conference on Cooperation, CSC '90, Sheraton Washington Hotel, Washington, DC, USA, February 20-22, 1990, pp. 343-350, 1990, ACM, 0-89791-348-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
52 | R. Sadananda, Nizam Uddin Ahmed |
Towards conceptualisation of physical object propositions (abstract only). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 15th ACM Annual Conference on Computer Science, St. Louis, Missouri, USA, February 16-19, 1987, pp. 413, 1987, ACM, 0-89791-218-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
44 | Gabriella Pigozzi, Stephan Hartmann 0001 |
Aggregation in multiagent systems and the problem of truth-tracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, May 14-18, 2007, pp. 97, 2007, IFAAMAS, 978-81-904262-7-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI Soc. ![In: AI Soc. 13(4), pp. 341-356, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (1) ![In: Proceedings of the 2007 Spring Simulation Multiconference, SpringSim 2007, Norfolk, Virginia, USA, March 25-29, 2007, Volume 1, pp. 187-192, 2007, SCS/ACM, 1-56555-312-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 7th International Conference, Liège, Belgium, July, 3-5, 1995, Proceedings, pp. 325-338, 1995, Springer, 3-540-60045-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
42 | Chengqi Zhang |
Heterogeneous Transformation of Uncertainties of Propositions Among Inexact Reasoning Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 6(3), pp. 353-360, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings, pp. 302-316, 2009, Springer, 978-3-642-04026-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
36 | Damith Senaratne, E. Chulantha Kulasekere |
Enhancing flexibility of belief representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNSC ![In: Proceedings of the IEEE International Conference on Networking, Sensing and Control, ICNSC 2008, Hainan, China, 6-8 April 2008, pp. 1615-1620, 2008, IEEE, 978-1-4244-1685-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Gabriella Pigozzi |
Belief merging and the discursive dilemma: an argument-based account to paradoxes of judgment aggregation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 152(2), pp. 285-298, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 11th Conference, New Delhi, India, December 17-19, 1991, Proceedings, pp. 71-88, 1991, Springer, 3-540-54967-6. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
36 | João P. Martins |
Computational issues in belief revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Logic of Theory Change ![In: The Logic of Theory Change, Workshop, Konstanz, FRG, October 13-15, 1989, Proceedings, pp. 51-71, 1989, Springer, 3-540-53567-5. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
36 | Madhukar N. Thakur, John Dinsmore |
Time representation based on knowledge partitioning (abstract only). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 15th ACM Annual Conference on Computer Science, St. Louis, Missouri, USA, February 16-19, 1987, pp. 414, 1987, ACM, 0-89791-218-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
35 | Eli Dresner |
A Measurement Theoretic Account of Propositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 153(1), pp. 1-22, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Souhila Kaci, Leendert W. N. van der Torre |
Permissions and Uncontrollable Propositions in DSDL3: Non-monotonicity and Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings, pp. 161-174, 2006, Springer, 3-540-35842-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Elena Akhmatova, Diego Mollá |
Recognizing Textual Entailment Via Atomic Propositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MLCW ![In: Machine Learning Challenges, Evaluating Predictive Uncertainty, Visual Object Classification and Recognizing Textual Entailment, First PASCAL Machine Learning Challenges Workshop, MLCW 2005, Southampton, UK, April 11-13, 2005, Revised Selected Papers, pp. 385-403, 2005, Springer, 3-540-33427-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
35 | Horacio L. Arló-Costa |
A Theory of Contextual Propositions for Indicatives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONTEXT ![In: Modeling and Using Context, 4th International and Interdisciplinary Conference, CONTEXT 2003, Stanford, CA, USA, June 23-25, 2003, Proceedings, pp. 15-28, 2003, Springer, 3-540-40380-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
35 | Cristina Ribeiro 0001, António Porto |
Representation and Inference with Consistent Temporal Propositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELP ![In: Extensions of Logic Programming, 4th International Workshop, ELP'93, St. Andrews, UK, March 29 - April 1, 1993, Proceedings, pp. 322-332, 1993, Springer, 3-540-58025-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCV ![In: Computer Vision - ECCV'90, First European Conference on Computer Vision, Antibes, France, April 23-27, 1990, Proceedings, pp. 521-525, 1990, Springer, 3-540-52522-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
34 | Chris Matthews, Paul A. Swatman |
Fuzzy concepts and formal methods: some illustrative examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore, pp. 230-, 2000, IEEE Computer Society, 0-7695-0915-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea, pp. 481-485, 2000, IEEE Computer Society, 0-7695-0930-4. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
RDF |
|
34 | Carl Pollard |
Are (Linguists') Propositions (Topos) Propositions? ![Search on Bibsonomy](Pics/bibsonomy.png) |
LACL ![In: Logical Aspects of Computational Linguistics - 6th International Conference, LACL 2011, Montpellier, France, June 29 - July 1, 2011. Proceedings, pp. 205-218, 2011, Springer, 978-3-642-22220-7. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2009 |
RDF |
|
34 | Ricardo Caferra, Nicolas Peltier |
Accepting/rejecting propositions from accepted/rejected propositions: A unifying overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Intell. Syst. ![In: Int. J. Intell. Syst. 23(10), pp. 999-1020, 2008. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TALN (Posters) ![In: Actes de la 13ème conférence sur le Traitement Automatique des Langues Naturelles. Posters, TALN 2006, Leuven, Belgium, April 10-13, 2006, pp. 551-560, 2006, ATALA. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1997 |
RDF |
|
27 | Carl Pollard |
Hyperintensional Questions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information and Computation, 15th International Workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings, pp. 272-285, 2008, Springer, 978-3-540-69936-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Michael Katelman, José Meseguer 0001, Santiago Escobar 0001 |
Directed-Logical Testing for Functional Verification of Microprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), June 5-7, 2008, Anaheim, CA, USA, pp. 89-100, 2008, IEEE Computer Society, 978-1-4244-2417-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Thorsten Altenkirch, Conor McBride, Wouter Swierstra |
Observational equality, now! ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLPV ![In: Proceedings of the ACM Workshop Programming Languages meets Program Verification, PLPV 2007, Freiburg, Germany, October 5, 2007, pp. 57-68, 2007, ACM, 978-1-59593-677-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
type theory, equality |
27 | Björn Johansson 0001 |
Developing a "Better" ERP System: The Risk of Loosing Competitive Advantage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONFENIS (2) ![In: Research and Practical Issues of Enterprise Information Systems II, Volume 2, IFIP TC 8 WG 8.9 International Conference on Research and Practical Issues of Enterprise Information Systems (CONFENIS 2007), October 14-16, 2007, Beijing, China, pp. 1169-1178, 2007, Springer, 978-0-387-76311-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PerCom Workshops ![In: 4th IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2006 Workshops), 13-17 March 2006, Pisa, Italy, pp. 420-425, 2006, IEEE Computer Society, 0-7695-2520-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Joanna Moulierac, Miklós Molnár |
Active Monitoring of Link Delays in Case of Asymmetric Routes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICN/ICONS/MCL ![In: Fifth International Conference on Networking and the International Conference on Systems (ICN / ICONS / MCL 2006), 23-29 April 2006, Mauritius, pp. 90, 2006, IEEE Computer Society, 0-7695-2552-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Ossi Taipale, Kari Smolander |
Improving software testing by observing practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISESE ![In: 2006 International Symposium on Empirical Software Engineering (ISESE 2006), September 21-22, 2006, Rio de Janeiro, Brazil, pp. 262-271, 2006, ACM, 1-59593-218-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 39th Hawaii International International Conference on Systems Science (HICSS-39 2006), CD-ROM / Abstracts Proceedings, 4-7 January 2006, Kauai, HI, USA, 2006, IEEE Computer Society, 0-7695-2507-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Evangelia Gouli, Agoritsa Gogoulou, Kyparisia A. Papanikolaou, Maria Grigoriadou |
Evaluating Learner's Knowledge Level on Concept Mapping Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: Proceedings of the 5th IEEE International Conference on Advanced Learning Technologies, ICALT 2005, Kaohsiung, Taiwan, July 5-8, 2005, pp. 424-428, 2005, IEEE Computer Society, 0-7695-2338-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 38th Hawaii International Conference on System Sciences (HICSS-38 2005), CD-ROM / Abstracts Proceedings, 3-6 January 2005, Big Island, HI, USA, 2005, IEEE Computer Society, 0-7695-2268-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Philip M. Long, Vinay Varadan, Sarah Gilman, Mark Treshock, Rocco A. Servedio |
Unsupervised evidence integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: Machine Learning, Proceedings of the Twenty-Second International Conference (ICML 2005), Bonn, Germany, August 7-11, 2005, pp. 521-528, 2005, ACM, 1-59593-180-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Gilles Dowek, Thérèse Hardin, Claude Kirchner |
Theorem Proving Modulo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 31(1), pp. 33-72, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 22-25 June 2003, Ottawa, Canada, Proceedings, pp. 21-, 2003, IEEE Computer Society, 0-7695-1884-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
lambda-calcul, type, subtype |
27 | Henri Hansen, Heikki Virtanen, Antti Valmari |
Merging State-Based and Action-Based Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 18-20 June 2003, Guimaraes, Portugal, pp. 150-156, 2003, IEEE Computer Society, 0-7695-1887-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Dimitra Giannakopoulou, Jeff Magee |
Fluent model checking for event-based systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC / SIGSOFT FSE ![In: Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, ESEC/FSE 2003, Helsinki, Finland, September 1-5, 2003, pp. 257-266, 2003, ACM, 978-1-58113-743-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
model-checking, linear temporal logic, software architecture analysis |
27 | Robert K. Lindsay |
Playing with Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Theory and Application of Diagrams, First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000, Proceedings, pp. 300-313, 2000, Springer, 3-540-67915-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
27 | Laura Firoiu, Paul R. Cohen |
Learning Elements of Representations for Redescribing Robot Experiences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDA ![In: Advances in Intelligent Data Analysis, Third International Symposium, IDA-99, Amsterdam, The Netherlands, August 1999, Proceedings, pp. 99-110, 1999, Springer, 3-540-66332-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
27 | Yun Bai 0001, Vijay Varadharajan |
A High Level Language for Conventional Access Control Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACISP ![In: Information Security and Privacy, Third Australasian Conference, ACISP'98, Brisbane, Queensland, Australia, July 1998, Proceedings, pp. 273-283, 1998, Springer, 3-540-64732-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 4th International Workshop on Temporal Representation and Reasoning, TIME '97, Daytona Beach, Florida, USA, May 10-11, 1997, pp. 153-159, 1997, IEEE Computer Society, 0-8186-7937-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
27 | Laurent Fleury, Chabane Djeraba, Henri Briand, Jacques Philippe |
Rule Evaluations in a KDD System ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 6th International Conference, DEXA'95, London, United Kingdom, September 4-8, 1995, Proceedings, pp. 405-414, 1995, Springer, 3-540-60303-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 1(3), pp. 195-221, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scientometrics ![In: Scientometrics 70(3), pp. 779-810, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Cristian Morosan, Daniel R. Fesenmaier |
A Conceptual Framework of Persuasive Architecture of Tourism Websites: Propositions and Implications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ENTER ![In: Information and Communication Technologies in Tourism, ENTER 2007, Proceedings of the International Conference in Ljubljana, Slovenia, 2007, pp. 243-254, 2007, Springer, 978-3-211-69564-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007, Proceedings, pp. 533-542, 2007, Springer, 978-3-540-75595-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Volker Stolz |
Temporal Assertions with Parametrised Propositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, 7th International Workshop, RV 2007, Vancouver, Canada, March 13, 2007, Revised Selected Papers, pp. 176-187, 2007, Springer, 978-3-540-77394-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Friederike Moltmann |
Unbound Anaphoric Pronouns: E-Type, Dynamic, and Structured-Propositions Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 153(2), pp. 199-260, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Jun Li, Guojun Wang |
Theory of truth degrees of propositions in the logic system Ln*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 49(4), pp. 471-483, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEC ![In: Proceedings of the 7th International Conference on Electronic Commerce, ICEC 2005, Xi'an, China, August 15-17, 2005, pp. 327-334, 2005, ACM, 1-59593-112-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EEE ![In: 2005 IEEE International Conference on e-Technology, e-Commerce, and e-Services (EEE 2005), 29 March - 1 April 2005, Hong Kong, China, pp. 81-84, 2005, IEEE Computer Society, 0-7695-2274-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Kevin Crowston, Hala Annabi, James Howison, Chengetai Masango |
Effective Work Practices for FLOSS Development: A Model and Propositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 38th Hawaii International Conference on System Sciences (HICSS-38 2005), CD-ROM / Abstracts Proceedings, 3-6 January 2005, Big Island, HI, USA, 2005, IEEE Computer Society, 0-7695-2268-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Suling Zhang, Jerry Fjermestad, Marilyn Tremaine |
Leadership Styles in Virtual Team Context: Limitations, Solutions and Propositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 38th Hawaii International Conference on System Sciences (HICSS-38 2005), CD-ROM / Abstracts Proceedings, 3-6 January 2005, Big Island, HI, USA, 2005, IEEE Computer Society, 0-7695-2268-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 36th Hawaii International Conference on System Sciences (HICSS-36 2003), CD-ROM / Abstracts Proceedings, January 6-9, 2003, Big Island, HI, USA, pp. 252, 2003, IEEE Computer Society, 0-7695-1874-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-18, 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings, pp. 195-210, 2002, Springer, 3-540-43931-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Salamah Salamah, Ann Q. Gates, Steve Roach |
Improving Pattern-Based LTL Formulas for Automata Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Fifth International Conference on Information Technology: New Generations (ITNG 2008), 7-8 April 2008, Las Vegas, Nevada, USA, pp. 9-14, 2008, IEEE Computer Society, 978-0-7695-3099-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 34th Annual Hawaii International Conference on System Sciences (HICSS-34), January 3-6, 2001, Maui, Hawaii, USA, 2001, IEEE Computer Society, 0-7695-0981-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 1996 ACM Symposium on Applied Computing, SAC'96, Philadelphia, PA, USA, February 17-19, 1996, pp. 17-21, 1996, ACM, 0-89791-820-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 54(3), pp. 227-240, 1995. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 34th Annual Symposium on Foundations of Computer Science, Palo Alto, California, USA, 3-5 November 1993, pp. 62-71, 1993, IEEE Computer Society, 0-8186-4370-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 17(4), pp. 647-688, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 3(4), pp. 399-414, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Comput. Sci. ![In: Transactions on Computational Science V, Special Issue on Cognitive Knowledge Representation, pp. 20-37, 2009, Springer, 978-3-642-02096-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 30(2), pp. 142-167, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nat. Comput. ![In: Nat. Comput. 8(3), pp. 449-453, 2009. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. des Télécommunications ![In: Ann. des Télécommunications 64(3-4), pp. 215-224, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
End to end guarantee, Assured forwarding, QoS, TCP, DiffServ |
18 | Adam Brandenburger |
Origins of epistemics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), Stanford, CA, USA, July 6-8, 2009, pp. 2, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADT ![In: Algorithmic Decision Theory, First International Conference, ADT 2009, Venice, Italy, October 20-23, 2009. Proceedings, pp. 1-13, 2009, Springer, 978-3-642-04427-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Thomas Vetterlein |
Fuzzy logic as a logic of the expressive strength of information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 12(5), pp. 479-485, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Carlos Javier Mantas, José Manuel Puche |
Artificial Neural Networks are Zero-Order TSK Fuzzy Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 16(3), pp. 630-643, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Jessie Qun Ren, Philip Hardwick |
Revenue model innovations in the Chinese online game market. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MindTrek ![In: Proceedings of the 12th international conference on Entertainment and media in the ubiquitous era, Mindtrek 2008, Tampere, Finland, October 7-9, 2008, pp. 44-48, 2008, ACM, 978-1-60558-197-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UC ![In: Unconventional Computing, 7th International Conference, UC 2008, Vienna, Austria, August 25-28, 2008. Proceedings, pp. 1-5, 2008, Springer, 978-3-540-85193-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Xunwei Zhou |
Mutually-Inversistic Logic with Uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (1) ![In: Fifth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2008, 18-20 October 2008, Jinan, Shandong, China, Proceedings, Volume 1, pp. 346-352, 2008, IEEE Computer Society, 978-0-7695-3305-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Tudor Groza, Siegfried Handschuh, John G. Breslin |
Adding Provenance and Evolution Information to Modularized Argumentation Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence ![In: 2008 IEEE / WIC / ACM International Conference on Web Intelligence, WI 2008, 9-12 December 2008, Sydney, NSW, Australia, Main Conference Proceedings, pp. 475-481, 2008, IEEE Computer Society, 978-0-7695-3496-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Inès Kammoun 0001, Antonio Maria Cipriano, Jean-Claude Belfiore |
Non-Coherent Codes over the Grassmannian. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Wirel. Commun. ![In: IEEE Trans. Wirel. Commun. 6(10), pp. 3657-3667, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Nathaniel Charlton, Michael Huth 0001 |
Hector: Software Model Checking with Cooperating Analysis Plugins. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings, pp. 168-172, 2007, Springer, 978-3-540-73367-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Ailsa Kolsaker, Liz Lee-Kelley |
'Mind the Gap II': E-Government and E-Governance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EGOV ![In: Electronic Government, 6th International Conference, EGOV 2007, Regensburg, Germany, September 3-7, 2007, Proceedings, pp. 35-43, 2007, Springer, 978-3-540-74443-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Narasimha Bolloju, Vijayan Sugumaran |
Quality Dependencies Among Use Case Models and Sequence Diagrams Developed by Novice Systems Analysts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER Workshops ![In: Advances in Conceptual Modeling - Foundations and Applications, ER 2007 Workshops CMLSA, FP-UML, ONISW, QoIS, RIGiM,SeCoGIS, Auckland, New Zealand, November 5-9, 2007, Proceedings, pp. 96-105, 2007, Springer, 978-3-540-76291-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007, pp. 248-252, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Mary Keeler |
Revelator Game of Inquiry: A Peircean Challenge for Conceptual Structures in Application and Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Knowledge Architectures for Smart Applications, 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007, Proceedings, pp. 443-459, 2007, Springer, 978-3-540-73680-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPAM ![In: Parallel Processing and Applied Mathematics, 7th International Conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007, Revised Selected Papers, pp. 249-258, 2007, Springer, 978-3-540-68105-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Imad Samarah, Souren Paul, Suresh Tadisina |
Collaboration Technology Support for Knowledge Conversion in Virtual Teams: A Theoretical Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), CD-ROM / Abstracts Proceedings, 3-6 January 2007, Waikoloa, Big Island, HI, USA, pp. 37, 2007, IEEE Computer Society, 0-7695-2755-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), CD-ROM / Abstracts Proceedings, 3-6 January 2007, Waikoloa, Big Island, HI, USA, pp. 281, 2007, IEEE Computer Society, 0-7695-2755-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science, International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings, pp. 115-131, 2007, Springer, 978-3-540-72732-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 27th International Conference on Distributed Computing Systems Workshops (ICDCS 2007 Workshops), June 25-29, 2007, Toronto, Ontario, Canada, pp. 26, 2007, IEEE Computer Society, 0-7695-2881-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Rahul C. Basole |
The Emergence of the Mobile Enterprise: A Value-Driven Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMB ![In: International Conference on Mobile Business (ICMB 2007), July 9-11, 2007, Toronto, Ontario, Canada, pp. 41, 2007, IEEE Computer Society, 0-7695-2803-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Clare Dixon, Michael Fisher 0001, Boris Konev |
Temporal Logic with Capacity Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems, 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007, Proceedings, pp. 163-177, 2007, Springer, 978-3-540-74620-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Douglas Walton |
How to make and defend a proposal in a deliberation dialogue. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Law ![In: Artif. Intell. Law 14(3), pp. 177-239, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 16th International Symposium, ISMIS 2006, Bari, Italy, September 27-29, 2006, Proceedings, pp. 504-513, 2006, Springer, 3-540-45764-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 1091 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|