Search results for "arguments"

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.	IAT	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.	SAC	2010	DBLP DOI BibTeX RDF	default arguments, named arguments, scala
54	Henning Christiansen 0001, John P. Gallagher	Non-discriminating Arguments and Their Uses.	ICLP	2009	DBLP DOI BibTeX RDF
48	Adam Zachary Wyner, Trevor J. M. Bench-Capon, Katie Atkinson	Three Senses of "Argument".	Computable Models of the Law, Languages, Dialogues, Games, Ontologies	2008	DBLP DOI BibTeX RDF	argumentation, argument, case, debate
48	Sylvie Doutre, Trevor J. M. Bench-Capon, Paul E. Dunne	Determining Preferences Through Argumentation.	AI*IA	2005	DBLP DOI BibTeX RDF
44	Jens Groth	Linear Algebra with Sub-linear Zero-Knowledge Arguments.	CRYPTO	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.	IEEE Trans. Software Eng.	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.	Artif. Intell. Law	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.	ASIACRYPT	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.	K-CAP	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.	DSN	2003	DBLP DOI BibTeX RDF
42	James Pustejovsky, Jessica Littman, Roser Saurí	Arguments in TimeML: Events and Entities.	Annotating, Extracting and Reasoning about Time and Events	2005	DBLP DOI BibTeX RDF
42	Shamus P. Smith, Michael D. Harrison	Improving Hazard Classification through the Reuse of Descriptive Arguments.	ICSR	2002	DBLP DOI BibTeX RDF
42	Boaz Barak, Oded Goldreich 0001	Universal Arguments and their Applications.	CCC	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).	CRYPTO	1995	DBLP DOI BibTeX RDF
42	Christiana Panayiotou, Brandon Bennett	Semantic Web Reasoning Tutoring Agent.	Intelligent Tutoring Systems	2008	DBLP DOI BibTeX RDF
42	Adam Zachary Wyner, Trevor J. M. Bench-Capon	Towards an Extensible Argumentation System.	ECSQARU	2007	DBLP DOI BibTeX RDF	argumentation
40	Noga Alon, Dmitry N. Kozlov, Van H. Vu	The Geometry of Coin-Weighing Problems.	FOCS	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.	ICAIL	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.	ICALP (1)	2009	DBLP DOI BibTeX RDF
36	Byeong Seok Ahn	The OWA Aggregation With Uncertain Descriptions on Weights and Input Arguments.	IEEE Trans. Fuzzy Syst.	2007	DBLP DOI BibTeX RDF
36	Souhila Kaci, Leendert W. N. van der Torre, Emil Weydert	On the Acceptability of Incompatible Arguments.	ECSQARU	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.	ArgMAS	2006	DBLP DOI BibTeX RDF
36	Geoffroy Aubry, Vincent Risch	Managing Deceitful Arguments with X-Logics.	ICTAI	2006	DBLP DOI BibTeX RDF
36	Michael J. Wooldridge, Peter McBurney, Simon Parsons	On the Meta-logic of Arguments.	ArgMAS	2005	DBLP DOI BibTeX RDF
36	Michael J. Wooldridge, Peter McBurney, Simon Parsons	On the meta-logic of arguments.	AAMAS	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.	KES	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.	ICLA	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.	ISAAC	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.	ICAIL	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.	Commun. ACM	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.	ISMIS	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.	TCC	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.	ASIACRYPT	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.	WETICE	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.	STACS	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.	CIARP	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.	ECCBR	2008	DBLP DOI BibTeX RDF
30	Dorian Gaertner, Francesca Toni	Computing Arguments and Attacks in Assumption-Based Argumentation.	IEEE Intell. Syst.	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.	ICAIL	2007	DBLP DOI BibTeX RDF	argument recognition, machine learning, information extraction, discourse analysis
30	Ilyas Cicekli, Nihan Kesim Cicekli	Generalizing predicates with string arguments.	Appl. Intell.	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.	ECSQARU	2005	DBLP DOI BibTeX RDF
30	Geoffroy Aubry, Vincent Risch	Toward a Logical Tool for Generating New Arguments in an Argumentation Based Framework.	ICTAI	2005	DBLP DOI BibTeX RDF
30	Sarah George, Ingrid Zukerman, Michael Niemann	An Anytime Algorithm for Interpreting Arguments.	PRICAI	2004	DBLP DOI BibTeX RDF
30	María Alpuente, Santiago Escobar 0001, Salvador Lucas	Removing Redundant Arguments of Functions.	AMAST	2002	DBLP DOI BibTeX RDF
30	Henry G. Baker	CONS should not CONS its arguments, or, a lazy alloc is a smart alloc.	ACM SIGPLAN Notices	1992	DBLP DOI BibTeX RDF
30	Trevor J. M. Bench-Capon, Sanjay Modgil	Case law in extended argumentation frameworks.	ICAIL	2009	DBLP DOI BibTeX RDF
30	Leila Amgoud, Philippe Besnard	Bridging the Gap between Abstract Argumentation Systems and Logic.	SUM	2009	DBLP DOI BibTeX RDF
30	Laurent Perrussel, Sylvie Doutre, Jean-Marc Thévenin, Peter McBurney	A Persuasion Dialog for Gaining Access to Information.	ArgMAS	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.	ArgMAS	2007	DBLP DOI BibTeX RDF
30	Guido Boella, Joris Hulstijn, Leendert W. N. van der Torre	Argumentation for Access Control.	AI*IA	2005	DBLP DOI BibTeX RDF
30	Sylvie Doutre, Jérôme Mengin	On Sceptical Versus Credulous Acceptance for Abstract Argument Systems.	JELIA	2004	DBLP DOI BibTeX RDF
30	Boaz Barak, Yehuda Lindell	Strict polynomial-time in simulation and extraction.	STOC	2002	DBLP DOI BibTeX RDF
30	Shekhar Pradhan	Connecting Databases with Argumentation.	INAP (LNCS Volume)	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.	ICAIL	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.	CRYPTO	1998	DBLP DOI BibTeX RDF
30	Neng-Fa Zhou	Parameter Passing and Control Stack Management in Prolog Implementation Revisited.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	prolog, abstract machine
30	R. Kent Dybvig, Robert Hieb	A Variable-Arity Procedural Interface.	LISP and Functional Programming	1988	DBLP DOI BibTeX RDF
30	Daniel Leivant	Structural Semantics for Polymorphic Data Types.	POPL	1983	DBLP DOI BibTeX RDF
26	Rebecca Wirfs-Brock	Handling Design Criticism.	IEEE Softw.	2007	DBLP DOI BibTeX RDF	design criticism, illogical arguments, aesthetics, design complexity, judgments
26	Douglas P. Gregor, Jaakko Järvi	Variadic templates for C++.	SAC	2007	DBLP DOI BibTeX RDF	template metaprogramming, variadic arguments, parametric polymorphism, C++ templates
26	Oded Goldreich 0001	Concurrent zero-knowledge with timing, revisited.	STOC	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.	ACSAC	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.	Queueing Syst. Theory Appl.	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.	HICSS (4)	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.	J. Comput. Appl. Math.	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.	Frontiers Artif. Intell.	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".	Top. Cogn. Sci.	2020	DBLP DOI BibTeX RDF
25	Johannes Daxenberger, Iryna Gurevych	Arguments as Social Good: Good Arguments in Times of Crisis.	AI4SG@AAAI Fall Symposium	2020	DBLP BibTeX RDF
25	Simone Gabbriellini, Francesco Santini 0001	From Reviews to Arguments and from Arguments Back to Reviewers' Behaviour.	ICAART (Revised Selected Papers)	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).		2015	RDF
25	Ying He 0004	Generic security templates for information system security arguments : mapping security arguments within healthcare systems.		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.	CSCW	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.	Rev. d'Intelligence Artif.	2012	DBLP DOI BibTeX RDF
25	Philippe Besnard, Éric Grégoire, Cédric Piette, Badran Raddaoui	MUS-based generation of arguments and counter-arguments.	IRI	2010	DBLP DOI BibTeX RDF
25	Eun-Ju Lee	When Are Strong Arguments Stronger Than Weak Arguments?	Commun. Res.	2008	DBLP DOI BibTeX RDF
25	Rachel Hann	Visualized arguments: or how to pierce the persuasive visualization and other arguments.	EVA	2008	DBLP BibTeX RDF
25	Anthony Hunter	Real Arguments Are Approximate Arguments.	AAAI	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).		2005	RDF
25	Jamie Tappenden	Frege on Axioms, Indirect Proof, and Independence Arguments in Geometry: Did Frege Reject Independence Arguments?	Notre Dame J. Formal Log.	2000	DBLP DOI BibTeX RDF
25	L. Thorne McCarty	Some Arguments About Legal Arguments.	ICAIL	1997	DBLP DOI BibTeX RDF
25	Raquel Mochales Palau, Marie-Francine Moens	Argumentation mining: the detection, classification and structure of arguments in text.	ICAIL	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.	WSKS (1)	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.	ECSQARU	2009	DBLP DOI BibTeX RDF
25	Vasiliki Efstathiou, Anthony Hunter	An Algorithm for Generating Arguments in Classical Predicate Logic.	ECSQARU	2009	DBLP DOI BibTeX RDF
25	Anne Bruseberg	Presenting the value of Human Factors Integration: guidance, arguments and evidence.	Cogn. Technol. Work.	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).	Computable Models of the Law, Languages, Dialogues, Games, Ontologies	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.	WSKS (2)	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.	AIRS	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.	ICAIL	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.	ICAIL	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.	ASIACRYPT	2007	DBLP DOI BibTeX RDF
25	Simon Buckingham Shum	Hypermedia Discourse: Contesting Networks of Ideas and Arguments.	ICCS	2007	DBLP DOI BibTeX RDF
25	Akimasa Morihata, Kazuhiko Kakehi 0001, Zhenjiang Hu, Masato Takeichi	Swapping Arguments and Results of Recursive Functions.	MPC	2006	DBLP DOI BibTeX RDF
25	Rob Weaver, Georgios Despotou, Tim Kelly, John A. McDermid	Combining software evidence: arguments and assurance.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	requirements, safety, argumentation, evidence
25	Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis	Inference from Controversial Arguments.	LPAR	2005	DBLP DOI BibTeX RDF
25	Anthony Hunter	Presentation of Arguments and Counterarguments for Tentative Scientific Knowledge.	ArgMAS	2005	DBLP DOI BibTeX RDF
25	Kosuke Ono, Masateru Harao, Kouichi Hirata	Multi-Agent Based Modeling and Simulation of Consensus Formations in Arguments.	ICITA (1)	2005	DBLP DOI BibTeX RDF
25	Sigmar-Olaf Tergan, Tanja Keller	Digital Concept Mapping in Learning Contexts: Integrating Knowledge, Arguments and Information Resources.	IV	2005	DBLP DOI BibTeX RDF	argument visualization, Concept mapping, knowledge visualization, cognitive tool
25	Jens Groth	Non-interactive Zero-Knowledge Arguments for Voting.	ACNS	2005	DBLP DOI BibTeX RDF