|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2143 occurrences of 1525 keywords
|
|
|
Results
Found 3805 publication records. Showing 3805 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
67 | Yohsuke Takahashi, Hajime Sawamura, Jing Zhang |
Transforming Natural Arguments in Araucaria to Formal Arguments in LMA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAT ![In: Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Hong Kong, China, 18-22 December 2006, pp. 668-678, 2006, IEEE Computer Society, 0-7695-2748-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
64 | Lukas Rytz, Martin Odersky |
Named and default arguments for polymorphic object-oriented languages: a discussion on the design implemented in the Scala language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 2090-2095, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
default arguments, named arguments, scala |
54 | Henning Christiansen 0001, John P. Gallagher |
Non-discriminating Arguments and Their Uses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings, pp. 55-69, 2009, Springer, 978-3-642-02845-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
48 | Adam Zachary Wyner, Trevor J. M. Bench-Capon, Katie Atkinson |
Three Senses of "Argument". ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computable Models of the Law, Languages, Dialogues, Games, Ontologies ![In: Computable Models of the Law, Languages, Dialogues, Games, Ontologies, pp. 146-161, 2008, Springer, 978-3-540-85568-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
argumentation, argument, case, debate |
48 | Sylvie Doutre, Trevor J. M. Bench-Capon, Paul E. Dunne |
Determining Preferences Through Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI*IA ![In: AI*IA 2005: Advances in Artificial Intelligence, 9th Congress of the Italian Association for Artificial Intelligence, Milan, Italy, September 21-23, 2005, Proceedings, pp. 98-109, 2005, Springer, 3-540-29041-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
44 | Jens Groth |
Linear Algebra with Sub-linear Zero-Knowledge Arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO 2009, 29th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2009. Proceedings, pp. 192-208, 2009, Springer, 978-3-642-03355-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Sub-linear size zero-knowledge arguments, public-coin special honest verifier zero-knowledge, Pedersen commitments, linear algebra, circuit satisfiability |
44 | Bev Littlewood, David Wright 0001 |
The Use of Multilegged Arguments to Increase Confidence in Safety Claims for Software-Based Systems: A Study Based on a BBN Analysis of an Idealized Example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 33(5), pp. 347-365, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Safety claims, safety arguments, software reliability, Bayesian belief networks, software safety |
44 | Jan-R. Sieckmann |
Why Non-Monotonic Logic is Inadequate to Represent Balancing Arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Law ![In: Artif. Intell. Law 11(2-3), pp. 211-219, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
internal point of view, normative arguments, weighing and balancing, argumentation, legal reasoning, defeasible reasoning |
44 | Helger Lipmaa |
On Diophantine Complexity and Statistical Zero-Knowledge Arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT ![In: Advances in Cryptology - ASIACRYPT 2003, 9th International Conference on the Theory and Application of Cryptology and Information Security, Taipei, Taiwan, November 30 - December 4, 2003, Proceedings, pp. 398-415, 2003, Springer, 3-540-20592-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Arguments of knowledge, Diophantine complexity, integer commitment scheme, statistical zero knowledge |
44 | John D. Lowrance, Ian W. Harrison, Andres C. Rodriguez |
Capturing analytic thought. ![Search on Bibsonomy](Pics/bibsonomy.png) |
K-CAP ![In: Proceedings of the First International Conference on Knowledge Capture (K-CAP 2001), October 21-23, 2001, Victoria, BC, Canada, pp. 84-91, 2001, ACM, 1-58113-380-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
sructured arguments, knowledge management, analysis, evidential reasoning |
43 | Robin E. Bloomfield, Bev Littlewood |
Multi-Legged Arguments: The Impact of Diversity upon Confidence in Dependability Arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2003 International Conference on Dependable Systems and Networks (DSN 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings, pp. 25-34, 2003, IEEE Computer Society, 0-7695-1952-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
42 | James Pustejovsky, Jessica Littman, Roser Saurí |
Arguments in TimeML: Events and Entities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annotating, Extracting and Reasoning about Time and Events ![In: Annotating, Extracting and Reasoning about Time and Events, International Seminar, Dagstuhl Castle, Germany, April 10-15, 2005. Revised Papers, pp. 107-126, 2005, Springer, 978-3-540-75988-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
42 | Shamus P. Smith, Michael D. Harrison |
Improving Hazard Classification through the Reuse of Descriptive Arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSR ![In: Software Reuse: Methods, Techniques, and Tools, 7th International Conference, ICSR-7, Austin, TX, USA, April 15-19, 2002, Proceedings, pp. 255-268, 2002, Springer, 3-540-43483-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
42 | Boaz Barak, Oded Goldreich 0001 |
Universal Arguments and their Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: Proceedings of the 17th Annual IEEE Conference on Computational Complexity, Montréal, Québec, Canada, May 21-24, 2002, pp. 194-203, 2002, IEEE Computer Society, 0-7695-1468-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Probabilistic proof systems, computationally-sound proof systems, zero-knowledge proof systems, probabilistic checkable proofs (PCP), collision-free hashing, witness indistinguishable proof systems, error-correcting codes, proofs of knowledge |
42 | Joe Kilian |
Improved Efficient Arguments (Preliminary Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO '95, 15th Annual International Cryptology Conference, Santa Barbara, California, USA, August 27-31, 1995, Proceedings, pp. 311-324, 1995, Springer, 3-540-60221-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
42 | Christiana Panayiotou, Brandon Bennett |
Semantic Web Reasoning Tutoring Agent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Tutoring Systems ![In: Intelligent Tutoring Systems, 9th International Conference, ITS 2008, Montreal, Canada, June 23-27, 2008, Proceedings, pp. 816-818, 2008, Springer, 978-3-540-69130-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
42 | Adam Zachary Wyner, Trevor J. M. Bench-Capon |
Towards an Extensible Argumentation System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007, Proceedings, pp. 283-294, 2007, Springer, 978-3-540-75255-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
argumentation |
40 | Noga Alon, Dmitry N. Kozlov, Van H. Vu |
The Geometry of Coin-Weighing Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 37th Annual Symposium on Foundations of Computer Science, FOCS '96, Burlington, Vermont, USA, 14-16 October, 1996, pp. 524-532, 1996, IEEE Computer Society, 0-8186-7594-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
coin weighing problems, coin collection, unknown distinct weights, regular balance beam, linear algebra techniques, geometric probabilistic arguments, geometric combinatorial arguments, computational geometry, geometry, proofs |
38 | Giovanni Sartor |
A Simple Computational Model for Nonmonotonic and Adversarial Legal Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAIL ![In: Proceedings of the Fourth International Conference on Artificial intelligence and Law, ICAIL '93, Amsterdam, The Netherlands, June 15-18, 1993, pp. 192-201, 1993, ACM, 0-89791-606-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
legal system, rules and exceptions, knowledge representation, arguments, nonmonotonic reasoning |
36 | Jan Draisma, Eyal Kushilevitz, Enav Weinreb |
Partition Arguments in Multiparty Communication Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (1) ![In: Automata, Languages and Programming, 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I, pp. 390-402, 2009, Springer, 978-3-642-02926-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
36 | Byeong Seok Ahn |
The OWA Aggregation With Uncertain Descriptions on Weights and Input Arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 15(6), pp. 1130-1134, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Souhila Kaci, Leendert W. N. van der Torre, Emil Weydert |
On the Acceptability of Incompatible Arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007, Proceedings, pp. 247-258, 2007, Springer, 978-3-540-75255-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Søren Holbech Nielsen, Simon Parsons |
A Generalization of Dung's Abstract Framework for Argumentation: Arguing with Sets of Attacking Arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ArgMAS ![In: Argumentation in Multi-Agent Systems, Third International Workshop, ArgMAS 2006, Hakodate, Japan, May 8, 2006, Revised Selected and Invited Papers, pp. 54-73, 2006, Springer, 978-3-540-75525-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Geoffroy Aubry, Vincent Risch |
Managing Deceitful Arguments with X-Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006), 13-15 November 2006, Arlington, VA, USA, pp. 216-219, 2006, IEEE Computer Society, 0-7695-2728-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Michael J. Wooldridge, Peter McBurney, Simon Parsons |
On the Meta-logic of Arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ArgMAS ![In: Argumentation in Multi-Agent Systems, Second International Workshop, ArgMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised Selected and Invited Papers, pp. 42-56, 2005, Springer, 3-540-36355-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
36 | Michael J. Wooldridge, Peter McBurney, Simon Parsons |
On the meta-logic of arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands, pp. 560-567, 2005, ACM, 1-59593-094-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
meta-level reasoning, multi-agent systems, knowledge representation, argumentation |
36 | S. M. F. D. Syed Mustapha |
An Algorithm for Avoiding Paradoxical Arguments Among the Multi-agent in the Discourse Communicator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES ![In: Knowledge-Based Intelligent Information and Engineering Systems, 8th International Conference, KES 2004, Wellington, New Zealand, September 20-25, 2004. Proceedings. Part I, pp. 350-356, 2004, Springer, 3-540-23318-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
36 | G. S. Mahalakshmi 0001, T. V. Geetha |
Formal Definitions of Reason Fallacies to Aid Defect Exploration in Argument Gaming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications, Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings, pp. 243-256, 2009, Springer, 978-3-540-92700-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Indian logic, Nyaya Sastra, Reason fallacies, Argumentation, Defect |
32 | Giovanni Di Crescenzo, Helger Lipmaa |
3-Message NP Arguments in the BPK Model with Optimal Soundness and Zero-Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 19th International Symposium, ISAAC 2008, Gold Coast, Australia, December 15-17, 2008. Proceedings, pp. 615-627, 2008, Springer, 978-3-540-92181-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Zero-knowledge arguments, resettable zero-knowledge, resettable soundness, bare public-key model for zero-knowledge protocols |
32 | James Palmer |
Legal Merit Arguments, Legal Semiotics and the Design of Legal Knowledge-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAIL ![In: Proceedings of the Sixth International Conference on Artificial Intelligence and Law, ICAIL '97, Melbourne, Vicoria, Australia, June 30 - July 3, 1997, pp. 198-206, 1997, ACM, 0-89791-924-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
argument generation, argument-bites, legal merit arguments, legal semiotics, stock narratives, structuralism |
32 | Stanley M. Cobb |
Certification of algorithm 47 [S16]: associated Legendre functions of the first kind for real or imaginary arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 12(11), pp. 635-636, 1969. The full citation details ...](Pics/full.jpeg) |
1969 |
DBLP DOI BibTeX RDF |
Legendre function, associated Legendre function, real or imaginary arguments |
32 | Katarzyna Budzynska, Magdalena Kacprzak, Pawel Rembelski |
Logic for Reasoning about Components of Persuasive Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 18th International Symposium, ISMIS 2009, Prague, Czech Republic, September 14-17, 2009. Proceedings, pp. 201-210, 2009, Springer, 978-3-642-04124-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Success of persuasion, nonverbal arguments, formal models of persuasive actions |
32 | Rafael Pass, Hoeteck Wee |
Black-Box Constructions of Two-Party Protocols from One-Way Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TCC ![In: Theory of Cryptography, 6th Theory of Cryptography Conference, TCC 2009, San Francisco, CA, USA, March 15-17, 2009. Proceedings, pp. 403-418, 2009, Springer, 978-3-642-00456-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
black-box constructions, zero-knowledge arguments, trapdoor commitments, parallel coin-tossing, non-malleable commitments, secure two-party computation |
32 | Ventzislav Nikov, Svetla Nikova, Bart Preneel |
A Weakness in Some Oblivious Transfer and Zero-Knowledge Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT ![In: Advances in Cryptology - ASIACRYPT 2006, 12th International Conference on the Theory and Application of Cryptology and Information Security, Shanghai, China, December 3-7, 2006, Proceedings, pp. 348-363, 2006, Springer, 3-540-49475-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Homomorphic Semantically Secure Cryptosystems, Paillier’s Public-Key Cryptosystem, Non-Interactive Zero-Knowledge Arguments, Oblivious Transfer |
32 | K. J. Cleetus, George Almási 0001 |
GDS-a group decision system for teams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 5th Workshop on Enabling Technologies, Infrastructure for Collaborative Enterprises (WET-ICE'96), June 19-21, 1996, Stanford, CA, USA, Proceedings, pp. 250-255, 1996, IEEE Computer Society, 0-8186-7445-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
GDS, group decision system, problem resolution, tradeoff negotiation, discussion leader, customer criteria, contra argument, supporting arguments, multimedia attachments, voting procedure, DSS, teams, evidence, group decision support systems, software package, graphical interface |
32 | Carsten Damm, Matthias Krause 0001, Christoph Meinel, Stephan Waack |
Separating Counting Communication Complexity Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 92, 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992, Proceedings, pp. 281-292, 1992, Springer, 3-540-55210-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
complexity of Boolean function, communication complexity and distributed computing, probabilism, lower bound arguments, separation of complexity classes |
30 | Hiram Calvo, Kentaro Inui, Yuji Matsumoto 0001 |
Learning Co-relations of Plausible Verb Arguments with a WSM and a Distributional Thesaurus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIARP ![In: Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications, 14th Iberoamerican Conference on Pattern Recognition, CIARP 2009, Guadalajara, Jalisco, Mexico, November 15-18, 2009. Proceedings, pp. 363-370, 2009, Springer, 978-3-642-10267-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Luís A. Lima Silva, John A. Campbell, Bernard F. Buxton |
Folk Arguments, Numerical Taxonomy and Case-Based Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCBR ![In: Advances in Case-Based Reasoning, 9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008. Proceedings, pp. 518-532, 2008, Springer, 978-3-540-85501-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Dorian Gaertner, Francesca Toni |
Computing Arguments and Attacks in Assumption-Based Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Intell. Syst. ![In: IEEE Intell. Syst. 22(6), pp. 24-33, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
implemented systems, dialectical structure, argumentation |
30 | Marie-Francine Moens, Erik Boiy, Raquel Mochales Palau, Chris Reed 0001 |
Automatic detection of arguments in legal texts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAIL ![In: The Eleventh International Conference on Artificial Intelligence and Law, Proceedings of the Conference, June 4-8, 2007, Stanford Law School, Stanford, California, USA, pp. 225-230, 2007, ACM, 978-1-59593-680-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
argument recognition, machine learning, information extraction, discourse analysis |
30 | Ilyas Cicekli, Nihan Kesim Cicekli |
Generalizing predicates with string arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 25(1), pp. 23-36, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
String generalization, Machine learning, Inductive logic programming |
30 | Claudette Cayrol, Marie-Christine Lagasquie-Schiex |
On the Acceptability of Arguments in Bipolar Argumentation Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005, Proceedings, pp. 378-389, 2005, Springer, 3-540-27326-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Geoffroy Aubry, Vincent Risch |
Toward a Logical Tool for Generating New Arguments in an Argumentation Based Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2005), 14-16 November 2005, Hong Kong, China, pp. 599-603, 2005, IEEE Computer Society, 0-7695-2488-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Sarah George, Ingrid Zukerman, Michael Niemann |
An Anytime Algorithm for Interpreting Arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI ![In: PRICAI 2004: Trends in Artificial Intelligence, 8th Pacific Rim International Conference on Artificial Intelligence, Auckland, New Zealand, August 9-13, 2004, Proceedings, pp. 311-321, 2004, Springer, 3-540-22817-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
30 | María Alpuente, Santiago Escobar 0001, Salvador Lucas |
Removing Redundant Arguments of Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings, pp. 117-131, 2002, Springer, 3-540-44144-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Henry G. Baker |
CONS should not CONS its arguments, or, a lazy alloc is a smart alloc. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 27(3), pp. 24-34, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
30 | Trevor J. M. Bench-Capon, Sanjay Modgil |
Case law in extended argumentation frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAIL ![In: The 12th International Conference on Artificial Intelligence and Law, Proceedings of the Conference, June 8-12, 2009, Barcelona, Spain, pp. 118-127, 2009, ACM, 978-1-60558-597-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Leila Amgoud, Philippe Besnard |
Bridging the Gap between Abstract Argumentation Systems and Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SUM ![In: Scalable Uncertainty Management, Third International Conference, SUM 2009, Washington, DC, USA, September 28-30, 2009. Proceedings, pp. 12-27, 2009, Springer, 978-3-642-04387-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Laurent Perrussel, Sylvie Doutre, Jean-Marc Thévenin, Peter McBurney |
A Persuasion Dialog for Gaining Access to Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ArgMAS ![In: Argumentation in Multi-Agent Systems, 4th International Workshop, ArgMAS 2007, Honolulu, HI, USA, May 15, 2007, Revised Selected and Invited Papers, pp. 63-79, 2007, Springer, 978-3-540-78914-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Cássia Trojahn dos Santos, Paulo Quaresma, Renata Vieira |
An Extended Value-Based Argumentation Framework for Ontology Mapping with Confidence Degrees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ArgMAS ![In: Argumentation in Multi-Agent Systems, 4th International Workshop, ArgMAS 2007, Honolulu, HI, USA, May 15, 2007, Revised Selected and Invited Papers, pp. 132-144, 2007, Springer, 978-3-540-78914-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Guido Boella, Joris Hulstijn, Leendert W. N. van der Torre |
Argumentation for Access Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI*IA ![In: AI*IA 2005: Advances in Artificial Intelligence, 9th Congress of the Italian Association for Artificial Intelligence, Milan, Italy, September 21-23, 2005, Proceedings, pp. 86-97, 2005, Springer, 3-540-29041-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Sylvie Doutre, Jérôme Mengin |
On Sceptical Versus Credulous Acceptance for Abstract Argument Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings, pp. 462-473, 2004, Springer, 3-540-23242-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Boaz Barak, Yehuda Lindell |
Strict polynomial-time in simulation and extraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings on 34th Annual ACM Symposium on Theory of Computing, May 19-21, 2002, Montréal, Québec, Canada, pp. 484-493, 2002, ACM, 1-58113-495-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Shekhar Pradhan |
Connecting Databases with Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP (LNCS Volume) ![In: Web Knowledge Management and Decision Support, 14th International Conference on Applications of Prolog, INAP 2001, Tokyo, Japan, October 20-22, 2001, Revised Papers, pp. 170-185, 2001, Springer, 3-540-00680-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
30 | John Yearwood, Andrew Stranieri |
The integration of retrieval, reasoning and drafting for refugee law: a third generation legal knowledge based system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAIL ![In: Proceedings of the Seventh International Conference on Artificial Intelligence and Law, ICAIL '99, Oslo, Norway, June 14-17, 1999, pp. 117-125, 1999, ACM, 1-58113-165-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
document drafting, information retrieval, reasoning, argument structure |
30 | Cynthia Dwork, Amit Sahai |
Concurrent Zero-Knowledge: Reducing the Need for Timing Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO '98, 18th Annual International Cryptology Conference, Santa Barbara, California, USA, August 23-27, 1998, Proceedings, pp. 442-457, 1998, Springer, 3-540-64892-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
30 | Neng-Fa Zhou |
Parameter Passing and Control Stack Management in Prolog Implementation Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 18(6), pp. 752-779, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
prolog, abstract machine |
30 | R. Kent Dybvig, Robert Hieb |
A Variable-Arity Procedural Interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1988 ACM Conference on LISP and Functional Programming, LFP 1988, Snowbird, Utah, USA, July 25-27, 1988, pp. 106-115, 1988, ACM, 0-89791-273-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
30 | Daniel Leivant |
Structural Semantics for Polymorphic Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, USA, January 1983, pp. 155-166, 1983, ACM Press, 0-89791-090-7. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
26 | Rebecca Wirfs-Brock |
Handling Design Criticism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 24(3), pp. 12-14, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
design criticism, illogical arguments, aesthetics, design complexity, judgments |
26 | Douglas P. Gregor, Jaakko Järvi |
Variadic templates for C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 1101-1108, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
template metaprogramming, variadic arguments, parametric polymorphism, C++ templates |
26 | Oded Goldreich 0001 |
Concurrent zero-knowledge with timing, revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings on 34th Annual ACM Symposium on Theory of Computing, May 19-21, 2002, Montréal, Québec, Canada, pp. 332-340, 2002, ACM, 1-58113-495-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
black-box simulation, proofs versus arguments, timing assumptions, zero-Knowledge, parallel composition, concurrent composition |
26 | P. Greve, J. Hoffman, R. E. Smith |
Using Type Enforcement to Assure a Configurable Guard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: 13th Annual Computer Security Applications Conference (ACSAC 1997), 8-12 December 1997, San Diego, CA, USA, pp. 146-, 1997, IEEE Computer Society, 0-8186-8274-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
type enforcement, configurable guard, guard systems, administrator configurable guard, input channel, connected output channel, assured processes, assurance arguments, operational guards, pipeline, electronic mail, electronic mail, trusted components |
26 | Zhen Liu 0001, Philippe Nain, Donald F. Towsley |
Sample path methods in the control of queues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 21(3-4), pp. 293-335, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
mathematical formalism, sample path arguments, scheduling, Control, discrete event system, queueing system, stochastic comparison |
26 | Poppy L. McLeod, Scott E. Elston |
Persuasive linguistic devices in anonymous vs. identified computer supported groups: an exploratory study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (4) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 163-170, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
persuasive linguistic devices, anonymous computer supported groups, identified computer supported groups, jury decision-making task, character identities, factual information errors, compromise requests, persuasive arguments, groupware, human factors, cooperation, consensus, flexibility, group decision support systems, linguistics, polling, negotiation support systems, electronic communication, law administration |
25 | Changjun Yu, Kar Hung Wong |
An enhanced control parameterization technique with variable switching times for constrained optimal control problems with control-dependent time-delayed arguments and discrete time-delayed arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Appl. Math. ![In: J. Comput. Appl. Math. 427, pp. 115106, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Behzad Mirzababaei, Viktoria Pammer-Schindler |
Developing a Conversational Agent's Capability to Identify Structural Wrongness in Arguments Based on Toulmin's Model of Arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Artif. Intell. ![In: Frontiers Artif. Intell. 4, pp. 645516, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Frank Zenker |
From Stories - via Arguments, Scenarios, and Cases - to Probabilities: Commentary on Floris J. Bex's "The Hybrid Theory of Stories and Arguments Applied to the Simonshaven Case" and Bart Verheij's "Analyzing the Simonshaven Case With and Without Probabilities". ![Search on Bibsonomy](Pics/bibsonomy.png) |
Top. Cogn. Sci. ![In: Top. Cogn. Sci. 12(4), pp. 1219-1223, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Johannes Daxenberger, Iryna Gurevych |
Arguments as Social Good: Good Arguments in Times of Crisis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI4SG@AAAI Fall Symposium ![In: Proceedings of the AAAI Fall Symposium on AI for Social Good, Virtual Symposium, November 13-14, 2020., 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
25 | Simone Gabbriellini, Francesco Santini 0001 |
From Reviews to Arguments and from Arguments Back to Reviewers' Behaviour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAART (Revised Selected Papers) ![In: Agents and Artificial Intelligence - 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers, pp. 56-72, 2016, 978-3-319-53353-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Soumia Lilia Berrahou |
Extraction d'arguments de relations n-aires dans les textes guidée par une RTO de domaine. (Extraction of arguments in N-ary relations in texts guided by a domain OTR). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
25 | Ying He 0004 |
Generic security templates for information system security arguments : mapping security arguments within healthcare systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
25 | Jodi Schneider, Krystian Samp, Alexandre Passant, Stefan Decker |
Arguments about deletion: how experience improves the acceptability of arguments in ad-hoc online task groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCW ![In: Computer Supported Cooperative Work, CSCW 2013, San Antonio, TX, USA, February 23-27, 2013, pp. 1069-1080, 2013, ACM, 978-1-4503-1331-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Philippe Besnard, Éric Grégoire, Cédric Piette, Badran Raddaoui |
Calcul d'arguments et de contre-arguments fondé sur les noyaux inconsistants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. d'Intelligence Artif. ![In: Rev. d'Intelligence Artif. 26(3), pp. 209-224, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Philippe Besnard, Éric Grégoire, Cédric Piette, Badran Raddaoui |
MUS-based generation of arguments and counter-arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IRI ![In: Proceedings of the IEEE International Conference on Information Reuse and Integration, IRI 2010, 4-6 August 2010, Las Vegas, Nevada, USA, pp. 239-244, 2010, IEEE Systems, Man, and Cybernetics Society. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Eun-Ju Lee |
When Are Strong Arguments Stronger Than Weak Arguments? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Res. ![In: Commun. Res. 35(5), pp. 646-665, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Rachel Hann |
Visualized arguments: or how to pierce the persuasive visualization and other arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EVA ![In: Electronic Visualisation and the Arts, EVA 2008, London, UK, 22-24 July 2008, 2008, BCS. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
25 | Anthony Hunter |
Real Arguments Are Approximate Arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, July 22-26, 2007, Vancouver, British Columbia, Canada, pp. 66-71, 2007, AAAI Press, 978-1-57735-323-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
25 | Geoffroy Aubry |
Un cadre logique pour la génération d'arguments. (A Logical Framework for the Generation of Arguments). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2005 |
RDF |
|
25 | Jamie Tappenden |
Frege on Axioms, Indirect Proof, and Independence Arguments in Geometry: Did Frege Reject Independence Arguments? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 41(3), pp. 271-315, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
25 | L. Thorne McCarty |
Some Arguments About Legal Arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAIL ![In: Proceedings of the Sixth International Conference on Artificial Intelligence and Law, ICAIL '97, Melbourne, Vicoria, Australia, June 30 - July 3, 1997, pp. 215-224, 1997, ACM, 0-89791-924-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
25 | Raquel Mochales Palau, Marie-Francine Moens |
Argumentation mining: the detection, classification and structure of arguments in text. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAIL ![In: The 12th International Conference on Artificial Intelligence and Law, Proceedings of the Conference, June 8-12, 2009, Barcelona, Spain, pp. 98-107, 2009, ACM, 978-1-60558-597-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
25 | José María Moreno-Jiménez, Jesús Cardeñosa Lera, Carolina Gallardo |
Arguments That Support Decisions in e-Cognocracy: A Qualitative Approach Based on Text Mining Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSKS (1) ![In: Visioning and Engineering the Knowledge Society. A Web Science Perspective, Second World Summit on the Knowledge Society, WSKS 2009, Chania, Crete, Greece, September 16-18, 2009. Proceedings, pp. 427-436, 2009, Springer, 978-3-642-04753-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
text mining, knowledge extraction, e-democracy, knowledge society, e-cognocracy |
25 | Martín O. Moguillansky, Nicolás D. Rotstein, Marcelo A. Falappa, Guillermo Ricardo Simari |
Generalized Abstract Argumentation: Handling Arguments in FOL Fragments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings, pp. 144-155, 2009, Springer, 978-3-642-02905-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Vasiliki Efstathiou, Anthony Hunter |
An Algorithm for Generating Arguments in Classical Predicate Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings, pp. 119-130, 2009, Springer, 978-3-642-02905-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Anne Bruseberg |
Presenting the value of Human Factors Integration: guidance, arguments and evidence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Technol. Work. ![In: Cogn. Technol. Work. 10(3), pp. 181-189, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Human Factors Integration (HFI), Cost-justifying, Cost benefits, Case studies, Return on Investment (ROI), Military |
25 | Thomas F. Gordon |
Constructing Legal Arguments with Rules in the Legal Knowledge Interchange Format (LKIF). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computable Models of the Law, Languages, Dialogues, Games, Ontologies ![In: Computable Models of the Law, Languages, Dialogues, Games, Ontologies, pp. 162-184, 2008, Springer, 978-3-540-85568-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | José María Moreno-Jiménez, María Teresa Escobar, Adrián Toncovich, Alberto Turón |
Arguments That Support Decisions in E-Cognocracy: A Quantitative Approach Based on Priorities Intensity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSKS (2) ![In: The Open Knowlege Society. A Computer Science and Information Systems Manifesto, First World Summit on the Knowledge Society, WSKS 2008, Athens, Greece, September 24-26, 2008. Proceedings, pp. 649-658, 2008, Springer, 978-3-540-87782-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
priority, knowledge extraction, e-democracy, e-participation, multicriteria decision- making, e-cognocracy |
25 | Seokhwan Kim, Minwoo Jeong, Gary Geunbae Lee, Kwangil Ko, Zino Lee |
An Alignment-Based Approach to Semi-supervised Relation Extraction Including Multiple Arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIRS ![In: Information Retrieval Technology, 4th Asia Infomation Retrieval Symposium, AIRS 2008, Harbin, China, January 15-18, 2008, Revised Selected Papers, pp. 526-536, 2008, Springer, 978-3-540-68633-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Thomas F. Gordon |
Constructing arguments with a computational model of an argumentation scheme for legal rules: interpreting legal rules as reasoning policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAIL ![In: The Eleventh International Conference on Artificial Intelligence and Law, Proceedings of the Conference, June 4-8, 2007, Stanford Law School, Stanford, California, USA, pp. 117-121, 2007, ACM, 978-1-59593-680-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
computational models of legal reasoning and argumentation, legal knowledge-based systems |
25 | Kevin D. Ashley, Niels Pinkwart, Collin F. Lynch, Vincent Aleven |
Learning by diagramming Supreme Court oral arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAIL ![In: The Eleventh International Conference on Artificial Intelligence and Law, Proceedings of the Conference, June 4-8, 2007, Stanford Law School, Stanford, California, USA, pp. 271-275, 2007, ACM, 978-1-59593-680-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
argument diagrams, argument models, hypothetical legal reasoning, intelligent tutoring systems |
25 | Vipul Goyal, Ryan Moriarty, Rafail Ostrovsky, Amit Sahai |
Concurrent Statistical Zero-Knowledge Arguments for NP from One Way Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT ![In: Advances in Cryptology - ASIACRYPT 2007, 13th International Conference on the Theory and Application of Cryptology and Information Security, Kuching, Malaysia, December 2-6, 2007, Proceedings, pp. 444-459, 2007, Springer, 978-3-540-76899-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Simon Buckingham Shum |
Hypermedia Discourse: Contesting Networks of Ideas and Arguments. ![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. 29-44, 2007, Springer, 978-3-540-73680-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Akimasa Morihata, Kazuhiko Kakehi 0001, Zhenjiang Hu, Masato Takeichi |
Swapping Arguments and Results of Recursive Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction, 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings, pp. 379-396, 2006, Springer, 3-540-35631-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Rob Weaver, Georgios Despotou, Tim Kelly, John A. McDermid |
Combining software evidence: arguments and assurance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 30(4), pp. 1-7, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
requirements, safety, argumentation, evidence |
25 | Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis |
Inference from Controversial Arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings, pp. 606-620, 2005, Springer, 3-540-30553-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Anthony Hunter |
Presentation of Arguments and Counterarguments for Tentative Scientific Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ArgMAS ![In: Argumentation in Multi-Agent Systems, Second International Workshop, ArgMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised Selected and Invited Papers, pp. 245-263, 2005, Springer, 3-540-36355-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Kosuke Ono, Masateru Harao, Kouichi Hirata |
Multi-Agent Based Modeling and Simulation of Consensus Formations in Arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICITA (1) ![In: Third International Conference on Information Technology and Applications (ICITA 2005), 4-7 July 2005, Sydney, Australia, pp. 264-267, 2005, IEEE Computer Society, 0-7695-2316-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Sigmar-Olaf Tergan, Tanja Keller |
Digital Concept Mapping in Learning Contexts: Integrating Knowledge, Arguments and Information Resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: 9th International Conference on Information Visualisation, IV 2005, 6-8 July 2005, London, UK, pp. 371-376, 2005, IEEE Computer Society, 0-7695-2397-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
argument visualization, Concept mapping, knowledge visualization, cognitive tool |
25 | Jens Groth |
Non-interactive Zero-Knowledge Arguments for Voting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACNS ![In: Applied Cryptography and Network Security, Third International Conference, ACNS 2005, New York, NY, USA, June 7-10, 2005, Proceedings, pp. 467-482, 2005, 3-540-26223-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 3805 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|