Search results for "inferences"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Keith Price	Review of "Natural Language Argumentation in Dialog Systems: AI Methods for the Reconstruction and Explanation of Approximate Inferences by Wolfgang Wahlster", ISBN 0-387-10873-4, New York, Heidelberg, Berlin: Springer 1981.	SIGART Newsl.	1982	DBLP DOI BibTeX RDF
15	Madis Saluveer	Adverbs And Semantic Inferences.	COLING	1982	DBLP BibTeX RDF
15	Ernest W. Adams	Transmissible improbabilities and marginal essentialness of premises in inferences involving indicative conditionals.	J. Philos. Log.	1981	DBLP DOI BibTeX RDF
15	Martin Davis	Obvious Logical Inferences.	IJCAI	1981	DBLP BibTeX RDF
15	Joachim Biskup	Inferences of Multivalued Dependencies in Fixed and Undetermined Universes.	Theor. Comput. Sci.	1980	DBLP DOI BibTeX RDF
15	Douglas Stott Parker Jr., Kamran Parsaye-Ghomi	Inferences Involving Embedded Multivalued Dependencies and Transitive Dependencies.	SIGMOD Conference	1980	DBLP DOI BibTeX RDF
15	Shamim A. Naqvi, Lawrence J. Henschen	Performing Inferences over Recursive Data Bases.	AAAI	1980	DBLP BibTeX RDF
15	Roger C. Schank	Interestingness: Controlling Inferences.	Artif. Intell.	1979	DBLP DOI BibTeX RDF
15	Roger Chaffin	Knowledge of Language and Knowledge about the World: A Reaction Time Study of Invited and Necessary Inferences.	Cogn. Sci.	1979	DBLP DOI BibTeX RDF
15	M. Trigoboff, Casimir A. Kulikowski	IRIS: A System for the Propogation of Inferences in a Semantic Net.	IJCAI	1977	DBLP BibTeX RDF
15	Charles L. Hedrick	Making Inferences in Natural Language Dialogs.	IJCAI	1977	DBLP BibTeX RDF
15	Robert F. Simmons, Daniel L. Chester	Inferences in Quantified Semantic Networks.	IJCAI	1977	DBLP BibTeX RDF
15	John Robert Baker	On two immediate inferences by limitation.	Notre Dame J. Formal Log.	1975	DBLP DOI BibTeX RDF
15	Howard Pospesel, Charles G. Werner	Deductive inferences from particular to general.	Notre Dame J. Formal Log.	1974	DBLP DOI BibTeX RDF
15	Edward A. Hacker	Number system for the immediate inferences and the syllogism in Aristotelian logic.	Notre Dame J. Formal Log.	1967	DBLP DOI BibTeX RDF
15	Gordon L. Brumm	The method of possibility-diagrams for testing the validity of certain types of inferences, based on Jevons' logical alphabet.	Notre Dame J. Formal Log.	1962	DBLP DOI BibTeX RDF
8	Samuel Kaski	Three Paths to Relevance.	Brain-Inspired Information Technology	2010	DBLP DOI BibTeX RDF
8	Mark Menor, Kyungim Baek, Mahdi Belcaid, Yannick Gingras, Guylaine Poisson	Virus DNA-fragment classification using taxonomic hidden Markov model profiles.	SAC	2010	DBLP DOI BibTeX RDF	machine learning, annotation, viruses, metagenomics
8	Sasank Reddy, Katie Shilton, Gleb Denisov, Christian Cenizal, Deborah Estrin, Mani B. Srivastava	Biketastic: sensing and mapping for better biking.	CHI	2010	DBLP DOI BibTeX RDF	map visualization, mobile sensing systems, location based services, participatory sensing
8	Bivas Mitra, Sujoy Ghose, Niloy Ganguly	Brief announcement: superpeer formation amidst churn and rewiring.	PODC	2010	DBLP DOI BibTeX RDF	bootstrapping protocol, superpeer network, preferential attachment, degree distribution
8	Chen Yu 0001, Matthias Scheutz, Paul W. Schermerhorn	Investigating multimodal real-time patterns of joint attention in an hri word learning task.	HRI	2010	DBLP DOI BibTeX RDF	human-robot interaction, joint attention
8	Armin W. Schulz	Condorcet and communitarianism: Boghossian's fallacious inference.	Synth.	2009	DBLP DOI BibTeX RDF	Condorcet’s Jury Theorem, The rule-following considerations, Communitarianism, Dispositionalism
8	Wenji Mao, Jonathan Gratch	Modeling social inference in virtual agents.	AI Soc.	2009	DBLP DOI BibTeX RDF
8	M. Saravanan 0001, Balaraman Ravindran, S. Raman 0001	Improving legal information retrieval using an ontological framework.	Artif. Intell. Law	2009	DBLP DOI BibTeX RDF	Query enhancement, Information retrieval, Knowledge base, Legal ontology
8	Bahman Yari Saeed Khanloo, Daryanaz Dargahi, Nima Aghaeepour, Ali Masoudi-Nejad	Support Vector Clustering: From Local Constraint to Global Stability.	Foundations of Computational Intelligence (6)	2009	DBLP DOI BibTeX RDF
8	Davide Grossi, Fernando R. Velázquez-Quesada	Twelve Angry Men: A Study on the Fine-Grain of Announcements.	LORI	2009	DBLP DOI BibTeX RDF	interaction, awareness, inference, epistemic logic, deliberation, dynamic epistemic logic
8	Fernando R. Velázquez-Quesada	Dynamic Logics for Explicit and Implicit Information.	LORI	2009	DBLP DOI BibTeX RDF
8	Zhichun Li, Anup Goyal, Yan Chen 0004, Vern Paxson	Automating analysis of large-scale botnet probing events.	AsiaCCS	2009	DBLP DOI BibTeX RDF	global property extrapolation, scan strategy inference, situational awareness, botnet, statistical inference, honeynet
8	Yingxu Wang	Cognitive Computing and machinable thought.	IEEE ICCI	2009	DBLP DOI BibTeX RDF
8	Yingxu Wang	Qualification and quantification of fuzzy linguistic variables and fuzzy expressions.	IEEE ICCI	2009	DBLP DOI BibTeX RDF
8	Simon Timothy O'Callaghan, Fabio T. Ramos 0001, Hugh F. Durrant-Whyte	Contextual occupancy maps using Gaussian processes.	ICRA	2009	DBLP DOI BibTeX RDF
8	Ravi Balasubramanian, Yoky Matsuoka	The role of small redundant actuators in precise manipulation.	ICRA	2009	DBLP DOI BibTeX RDF
8	Giovambattista Ianni, Thomas Krennwallner, Alessandra Martello, Axel Polleres	Dynamic Querying of Mass-Storage RDF Data with Rule-Based Entailment Regimes.	ISWC	2009	DBLP DOI BibTeX RDF
8	Hamed Chok, Le Gruenwald	An online spatio-temporal association rule mining framework for analyzing and estimating sensor data.	IDEAS	2009	DBLP DOI BibTeX RDF	data estimation, knowledge discovery, sensor databases, spatio-temporal data mining
8	Giby Raphael, Chris Berka, Djordje Popovic, Gregory K. W. K. Chung, Sam O. Nagashima, Adrienne Behneman, Gene Davis, Robin Johnson	Peak Performance Trainer (PPTTM): Interactive Neuro-educational Technology to Increase the Pace and Efficiency of Rifle Marksmanship Training.	HCI (16)	2009	DBLP DOI BibTeX RDF	Haptics, EEG, Heart rate, Alpha, Theta
8	Yu Tong 0001, Yinqing Zhong	Are We Trapped by Majority Influences in Electronic Word-of-Mouth?	HCI (1)	2009	DBLP DOI BibTeX RDF	online feedback system, majority influence, system design, Word-of-mouth
8	Serge Boucher, Esteban Zimányi	Leveraging OWL for GIS interoperability: rewards and pitfalls.	SAC	2009	DBLP DOI BibTeX RDF	semantic web, geographic information systems, interoperability
8	Jianxiong Ye, Enmin Feng, Lei Wang 0035, Zhilong Xiu, Yaqin Sun	Modeling and Robustness Analysis of Biochemical Networks of Glycerol Metabolism by Klebsiella Pneumoniae.	Complex (1)	2009	DBLP DOI BibTeX RDF	Metabolic network inference, Biological robustness, Transport across cell membrane, Parameter identification
8	Hannes Strass, Michael Thielscher	On Defaults in Action Theories.	KI	2009	DBLP DOI BibTeX RDF
8	Gerhard Lakemeyer, Hector J. Levesque	A Semantical Account of Progression in the Presence of Defaults.	Conceptual Modeling: Foundations and Applications	2009	DBLP DOI BibTeX RDF
8	Viktoria Pammer, Stefanie N. Lindstaedt	Ontology Evaluation through Assessment of Inferred Statements: Study of a Prototypical Implementation of an Ontology Questionnaire for OWL DL Ontologies.	KSEM	2009	DBLP DOI BibTeX RDF
8	Tzone I. Wang, Ti Kai Chiu, Liang Jun Huang, Ru Xuan Fu, Tung-Cheng Hsieh	An English Vocabulary Learning System Based on Fuzzy Theory and Memory Cycle.	ICWL	2009	DBLP DOI BibTeX RDF	Extensive Reading, English Learning, Memory Cycle, Personalized, e-learning, Fuzzy Theory
8	Marcela Capobianco, Guillermo Ricardo Simari	A Proposal for Making Argumentation Computationally Capable of Handling Large Repositories of Uncertain Data.	SUM	2009	DBLP DOI BibTeX RDF
8	Sergio Di Martino, Filomena Ferrucci, Gavin McArdle, Giacomo Petillo	Automatic Generation of an Adaptive WebGIS.	W2GIS	2009	DBLP DOI BibTeX RDF	Personalization, GIS, Location Based Services, Adaptive Interfaces, Information Overload
8	Eoin Mac Aoidh, David C. Wilson, Michela Bertolotto	A Study of Spatial Interaction Behaviour for Improved Delivery of Web-Based Maps.	W2GIS	2009	DBLP DOI BibTeX RDF
8	Dan Bohus, Eric Horvitz	Dialog in the open world: platform and applications.	ICMI	2009	DBLP DOI BibTeX RDF	floor management, open-world models, multimodal, engagement, turn-taking, multiparty interaction, spoken dialog, situated interaction
8	Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub	On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers.	ICLP	2009	DBLP DOI BibTeX RDF
8	Katherine James, Anil Wipat, Jennifer Hallinan	Integration of Full-Coverage Probabilistic Functional Networks with Relevance to Specific Biological Processes.	DILS	2009	DBLP DOI BibTeX RDF	clustering, relevance, network analysis, Integrated networks
8	Giancarlo Guizzardi	The Problem of Transitivity of Part-Whole Relations in Conceptual Modeling Revisited.	CAiSE	2009	DBLP DOI BibTeX RDF
8	Alisa Devlic, Roland Reichle, Michael Wagner 0001, Manuele Kirsch-Pinheiro, Yves Vanrompay, Yolande Berbers, Massimo Valla	Context Inference of Users' Social Relationships and Distributed Policy Management.	PerCom Workshops	2009	DBLP DOI BibTeX RDF
8	Richard Beckwith 0001, Sharon Greenfield	Context Aware Education for Agriculture.	PerCom Workshops	2009	DBLP DOI BibTeX RDF
8	Michela Farenzena, Loris Bazzani, Vittorio Murino, Marco Cristani	Towards a Subject-Centered Analysis for Automated Video Surveillance.	ICIAP	2009	DBLP DOI BibTeX RDF
8	Kazuhiro Minami, Nikita Borisov, Carl A. Gunter	Safety in discretionary access control for logic-based publish-subscribe systems.	SACMAT	2009	DBLP DOI BibTeX RDF	access control, safety, inference control, publish-subscribe system, logical language
8	Sukeshini A. Grandhi, Richard P. Schuler, Quentin Jones	To answer or not to answer: that is the question for cell phone users.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	context, availability, interruptions, cell phones
8	Laura Kovács, Andrei Voronkov	Interpolation and Symbol Elimination.	CADE	2009	DBLP DOI BibTeX RDF
8	Hong Lu 0006, Wei Pan, Nicholas D. Lane, Tanzeem Choudhury, Andrew T. Campbell	SoundSense: scalable sound sensing for people-centric applications on mobile phones.	MobiSys	2009	DBLP DOI BibTeX RDF	people centric sensing, sound classification, urban sensing, mobile phones, audio processing
8	Curtis E. Dyreson, Hao Jin	A Synthetic, Trend-Based Benchmark for XPath.	DASFAA Workshops	2009	DBLP DOI BibTeX RDF	XML, query processing, Benchmark, XPath
8	Jonathan Gallagher, Randolph L. Moses, Emre Ertin	Distributed Computation of Likelihood Maps for Target Tracking.	DCOSS	2009	DBLP DOI BibTeX RDF
8	Joachim Biskup, Jens Seiler, Torben Weibert	Controlled Query Evaluation and Inference-Free View Updates. (PDF / PS)	DBSec	2009	DBLP DOI BibTeX RDF
8	Sara Motahari, Sotirios G. Ziavras, Mor Naaman, Mohamed Ismail, Quentin Jones	Social Inference Risk Modeling in Mobile and Social Applications.	CSE (3)	2009	DBLP DOI BibTeX RDF
8	Huey-Ming Lee, Lily Lin	A Fuzzy Risk Assessment in Software Development Defuzzified by Signed Distance.	KES (2)	2009	DBLP DOI BibTeX RDF	fuzzy risk assessment, Risk assessment
8	Greg Smith, Desney S. Tan, Bongshin Lee	iSee: interactive scenario explorer for online tournament games.	Advances in Computer Entertainment Technology	2009	DBLP DOI BibTeX RDF	fantasy games, office pools, scenario exploration, tournament
8	Christophe Lecoutre, Olivier Roussel	Failed Value Consistencies for Constraint Satisfaction.	CP	2009	DBLP DOI BibTeX RDF
8	Narayan Ramasubbu	An Empiricist View of Managing Globally Distributed Software Development.	SEAFOOD	2009	DBLP DOI BibTeX RDF
8	Francesco Bonchi	Privacy Preserving Publication of Moving Object Data.	Privacy in Location-Based Applications	2009	DBLP DOI BibTeX RDF
8	Boon-Kiat Quek, Kayo Sakamoto, Andrew Ortony	A Data-Fusion Approach to Representing Personality Traits, Values, Beliefs and Behavior Descriptions.	EPIA	2009	DBLP DOI BibTeX RDF	network, Personality, inference, values, spreading activation
8	Wei Lu 0018, Hengjian Tong	Detecting Network Anomalies Using CUSUM and EM Clustering.	ISICA	2009	DBLP DOI BibTeX RDF	clustering, Intrusion detection
8	Barry Norton, Liliana Cabral, Jörg Nitzsche	Ontology-Based Translation of Business Process Models.	ICIW	2009	DBLP DOI BibTeX RDF
8	Yongwan Chun	Modeling network autocorrelation within migration flows by eigenvector spatial filtering.	J. Geogr. Syst.	2008	DBLP DOI BibTeX RDF	JEL Classification C21, R23
8	Natasha Alechina, Mark Jago, Brian Logan 0001	Preference-based belief revision for rule-based agents.	Synth.	2008	DBLP DOI BibTeX RDF	Reason maintenance systems, Rule-based agents, Preferences, Belief revision
8	Aveek Banerjee, Debasis Kundu	Inference Based on Type-II Hybrid Censored Data From a Weibull Distribution.	IEEE Trans. Reliab.	2008	DBLP DOI BibTeX RDF
8	Yi-Dong Shen	Reasoning with recursive loops under the PLP framework.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	cyclic influences, recursive loops, the well-founded model, Logic programming, Bayesian networks
8	Jiefei Ma, Alessandra Russo, Krysia Broda, Keith Clark	DARE: a system for distributed abductive reasoning.	Auton. Agents Multi Agent Syst.	2008	DBLP DOI BibTeX RDF	Distributed inference, Multi-thread Prolog, Abduction
8	Srinath Sridhar 0001, Fumei Lam, Guy E. Blelloch, R. Ravi 0001, Russell Schwartz	Mixed Integer Linear Programming for Maximum-Parsimony Phylogeny Inference.	IEEE ACM Trans. Comput. Biol. Bioinform.	2008	DBLP DOI BibTeX RDF	Phylogenetic tree reconstruction, Algorithms, Integer Linear Programming, Computational Biology, Steiner tree problem, Maximum parsimony
8	Aldo Franco Dragoni	Mental states as multi-context systems.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68T01, 68T30, 68T27
8	Enrico Giunchiglia, Nicola Leone, Marco Maratea	On the relation among answer set solvers.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68N17, 68T27, 68T20
8	Nuno Vasconcelos	From Pixels to Semantic Spaces: Advances in Content-Based Image Retrieval.	Computer	2008	DBLP DOI BibTeX RDF	image retrieval systems
8	Réka Albert, Bhaskar DasGupta, Riccardo Dondi, Eduardo D. Sontag	Inferring (Biological) Signal Transduction Networks via Transitive Reductions of Directed Graphs.	Algorithmica	2008	DBLP DOI BibTeX RDF	Transitive reduction of directed graphs, Minimum equivalent digraph, (Biological) signal transduction networks, Approximation algorithms
8	Chitra Babu, R. Vijayalakshmi	Metrics-based design selection tool for aspect oriented software development.	ACM SIGSOFT Softw. Eng. Notes	2008	DBLP DOI BibTeX RDF	aspect oriented software design, design-level metrics
8	Paul Edward Lehner, Leonard Adelman, Brant A. Cheikes, Mark J. Brown	Confirmation Bias in Complex Analyses.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
8	Peter Verdée, Stephan van der Waart van Gulik	A Generic Framework for Adaptive Vague Logics.	Stud Logica	2008	DBLP DOI BibTeX RDF	supervaluationism, subvaluationism, clarity logic, dynamic proofs, fuzzy logic, vagueness, adaptive logic
8	Hyunmo Kang, Lise Getoor, Ben Shneiderman, Mustafa Bilgic 0001, Louis Licamele	Interactive Entity Resolution in Relational Data: A Visual Analytic Tool and Its Evaluation.	IEEE Trans. Vis. Comput. Graph.	2008	DBLP DOI BibTeX RDF
8	Daejung Shin, Seung You Na, Jin Young Kim 0002, Seong-Joon Baek	Fuzzy neural networks for obstacle pattern recognition and collision avoidance of fish robots.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Obstacle pattern recognition, Fish robot, Collision avoidance, Fuzzy neural networks
8	Yingxu Wang 0001, Yiyu Yao, Guoyin Wang 0001	Perspectives on Denotational Mathematics: New Means of Thought.	Trans. Comput. Sci.	2008	DBLP DOI BibTeX RDF	denotational mathematics, concept algebra, system algebra, visual semantic algebra, natural intelligence, AI, rough set, process algebra, knowledge engineering, granular computing, computational intelligence, Cognitive informatics, RTPA
8	Rineke Verbrugge, Lisette Mol	Learning to Apply Theory of Mind.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	Epistemic logic, Pragmatics, Theory of Mind, Skill acquisition, Strategic reasoning
8	Hasan Amjad	Data Compression for Proof Replay.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	Proof translation, Interactive theorem proving, SAT solvers
8	Linda Hermer-Vazquez	Tracing 'driver' versus 'modulator' information flow throughout large-scale, task-related neural circuitry.	J. Comb. Optim.	2008	DBLP DOI BibTeX RDF	Directed coherence, Action potentials, Local field potentials, Information flow, Granger causality
8	Hemant K. Sabat	Spectrum acquisition strategies adopted by wireless carriers in the USA.	Inf. Syst. Frontiers	2008	DBLP DOI BibTeX RDF	Spectrum acquisition strategies, Spectrum markets, Spectrum resale, Asset exchange, Equity holding, Spectrum leasing, Mergers and acquisitions, Divestitures, Designated regions, Auction
8	Michel Rudnianski, Helene Bestougeff	Deterrence and Defeasibility in Argumentation Process for ALIS Project.	Computable Models of the Law, Languages, Dialogues, Games, Ontologies	2008	DBLP DOI BibTeX RDF	ALIS, defeasibility, game of deterrence, graph of deterrence, rebutting, consistency, argumentation, attack, strategy, relevance, acceptability, playability
8	Kalliopi Tourtoglou, Maria Virvou	User Stereotypes Concerning Cognitive, Personality and Performance Issues in a Collaborative Learning Environment for UML.	New Directions in Intelligent Interactive Multimedia	2008	DBLP DOI BibTeX RDF	software engineering, Collaboration, UML, learning, user modelling, collaborative learning, CSCL, student modelling, stereotypes
8	Lorenzo Magnani, Emanuele Bardone	Sharing Representations and Creating Chances through Cognitive Niche Construction. The Role of Affordances and Abduction.	Communications and Discoveries from Multidisciplinary Data	2008	DBLP DOI BibTeX RDF
8	Arthur P. Dempster	New Methods for Reasoning Towards PosteriorDistributions Based on Sample Data.	Classic Works of the Dempster-Shafer Theory of Belief Functions	2008	DBLP DOI BibTeX RDF
8	Giuseppe Manco 0001, Miriam Baglioni, Fosca Giannotti, Bart Kuijpers, Alessandra Raffaetà, Chiara Renso	Querying and Reasoning for Spatiotemporal Data Mining.	Mobility, Data Mining and Privacy	2008	DBLP DOI BibTeX RDF
8	John Mumma	Ensuring Generality in Euclid's Diagrammatic Arguments.	Diagrams	2008	DBLP DOI BibTeX RDF
8	Richard Bache, Fabio Crestani	Estimating real-valued characteristics of criminals from their recorded crimes.	CIKM	2008	DBLP DOI BibTeX RDF	crime data, offender profiling, data mining, language modelling, bayesian analysis
8	Yang Song 0008, Lu Zhang 0007, C. Lee Giles	A Non-parametric Approach to Pair-Wise Dynamic Topic Correlation Detection.	ICDM	2008	DBLP DOI BibTeX RDF
8	Aaron Schulman, Dave Levin, Neil Spring	On the Fidelity of 802.11 Packet Traces.	PAM	2008	DBLP DOI BibTeX RDF
8	Makarius Wenzel, Lawrence C. Paulson, Tobias Nipkow	The Isabelle Framework.	TPHOLs	2008	DBLP DOI BibTeX RDF
8	Mike Gordon	Twenty Years of Theorem Proving for HOLs Past, Present and Future.	TPHOLs	2008	DBLP DOI BibTeX RDF
8	Gauvain Bourgne, Vincent Corruble	A Framework for Knowledge Discovery in a Society of Agents.	Discovery Science	2008	DBLP DOI BibTeX RDF