Search results for "class"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Jin-Zhao Wu, Hong-Yan Tan, Yongli Li	An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics.	J. Appl. Non Class. Logics	1998	DBLP DOI BibTeX RDF
16	Hans Jürgen Ohlbach, Dov M. Gabbay	Calendar Logic.	J. Appl. Non Class. Logics	1998	DBLP DOI BibTeX RDF
16	Dale Jacquette	Paraconsistent Logical Consequence.	J. Appl. Non Class. Logics	1998	DBLP DOI BibTeX RDF
16	Philippe Balbiani	The modal multilogic of geometry.	J. Appl. Non Class. Logics	1998	DBLP DOI BibTeX RDF
16	Michael J. Wooldridge, Clare Dixon, Michael Fisher 0001	A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief.	J. Appl. Non Class. Logics	1998	DBLP DOI BibTeX RDF
16	Philippe Balbiani, Luis Fariñas del Cerro	Complete axiomatization of a relative modal logic with composition and intersection.	J. Appl. Non Class. Logics	1998	DBLP DOI BibTeX RDF
16	Judit X. Madarász	Interpolation in Algebraizable Logics; Semantics for Non-normal Multi-modal Logic.	J. Appl. Non Class. Logics	1998	DBLP DOI BibTeX RDF
16	Henry Prakken, Giovanni Sartor	Argument-Based Extended Logic Programming with Defeasible Priorities.	J. Appl. Non Class. Logics	1997	DBLP DOI BibTeX RDF
16	Neil Tennant	On Having Bad Contractions (invited paper).	J. Appl. Non Class. Logics	1997	DBLP DOI BibTeX RDF
16	Jorge Lobo 0001, Goce Trajcevski	Minimal and Consistent Evolution of Knowledge Bases.	J. Appl. Non Class. Logics	1997	DBLP DOI BibTeX RDF
16	Wiebe van der Hoek	Some Considerations on the Logic PFD~.	J. Appl. Non Class. Logics	1997	DBLP BibTeX RDF
16	Mingsheng Ying, Bernadette Bouchon-Meunier	Quantifiers, modifiers and qualifiers in fuzzy logic.	J. Appl. Non Class. Logics	1997	DBLP DOI BibTeX RDF
16	Luca Boldrin, Claudio Sossai	Local Possibilistic Logic.	J. Appl. Non Class. Logics	1997	DBLP DOI BibTeX RDF
16	Alvaro del Val	Nonmonotonic Reasoning and Belief Revision: Syntactic, Semantic, Foundational, and Coherence Approaches.	J. Appl. Non Class. Logics	1997	DBLP DOI BibTeX RDF
16	Thomas Linke, Torsten Schaub	Towards a classification of Default Logics.	J. Appl. Non Class. Logics	1997	DBLP DOI BibTeX RDF
16	Donald Perlis	Sources of, and Exploiting, Inconsistency: Preliminary Report.	J. Appl. Non Class. Logics	1997	DBLP DOI BibTeX RDF
16	Alexei Yu. Muravitsky	Knowledge Representation as Domains.	J. Appl. Non Class. Logics	1997	DBLP DOI BibTeX RDF
16	Renwei Li, Luís Moniz Pereira	Knowledge Assimilation in Domains of Actions: A Possible Causes Approach.	J. Appl. Non Class. Logics	1997	DBLP DOI BibTeX RDF
16	Tuan-Fang Fan, Bertrand I-Peng Lin, Churn-Jung Liau	Nonmonotonic Reasoning Based on Incomplete Logic.	J. Appl. Non Class. Logics	1997	DBLP DOI BibTeX RDF
16	Eliezer L. Lozinskii	On Knowledge Evolution: Acquisition, Revision, Contraction.	J. Appl. Non Class. Logics	1997	DBLP DOI BibTeX RDF
16	Sven Ove Hansson	Semi-Revision (invited paper).	J. Appl. Non Class. Logics	1997	DBLP BibTeX RDF
16	Anna Radzikowska	A Three-Valued Approach to Default Logic.	J. Appl. Non Class. Logics	1996	DBLP DOI BibTeX RDF
16	Elias Thijsse, Heinrich Wansing	A Fugue on the Themes of Awareness Logic and Correspondence.	J. Appl. Non Class. Logics	1996	DBLP DOI BibTeX RDF
16	Silvana Badaloni, Alberto Zanardo	Plausible Reasoning: A First-Order Approach.	J. Appl. Non Class. Logics	1996	DBLP DOI BibTeX RDF
16	Reiner Hähnle	Exploiting Data Dependencies in Many-Valued Logics.	J. Appl. Non Class. Logics	1996	DBLP DOI BibTeX RDF
16	Dimiter Vakarelov	Many-dimensional arrow logics.	J. Appl. Non Class. Logics	1996	DBLP DOI BibTeX RDF
16	John L. Pollock	A General-Purpose Defeasible Reasoner.	J. Appl. Non Class. Logics	1996	DBLP DOI BibTeX RDF
16	Giangiacomo Gerla	Graded Consequence Relations and Fuzzy Closure Operators.	J. Appl. Non Class. Logics	1996	DBLP DOI BibTeX RDF
16	Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, George Kutty, Laura K. Dillon	Automated Deduction in a Graphical Temporal Logic.	J. Appl. Non Class. Logics	1996	DBLP DOI BibTeX RDF
16	Bradley Richards	Review of Stephen Muggleton, Ed.: Inductive Logic Programming.	J. Appl. Non Class. Logics	1996	DBLP DOI BibTeX RDF
16	Alexei Yu. Muravitsky	A Framework for Knowledge-Based Systems.	J. Appl. Non Class. Logics	1996	DBLP DOI BibTeX RDF
16	Yaroslav Shramko	Review of Walter P. van Stigt: Brouwer's Intuitionism.	J. Appl. Non Class. Logics	1996	DBLP DOI BibTeX RDF
16	Michael J. Miller, Donald Perlis	Automated Inference in Active Logics.	J. Appl. Non Class. Logics	1996	DBLP DOI BibTeX RDF
16	Mihir K. Chakraborty, A. Chatterjee	On Representation of Indeterminate Identity via Vague Concepts.	J. Appl. Non Class. Logics	1996	DBLP DOI BibTeX RDF
16	Bernhard Heinemann	Expressive Completeness of Modal Logic on Binary Ramified Frames.	J. Appl. Non Class. Logics	1996	DBLP DOI BibTeX RDF
16	Vincent Risch	Analytic Tableaux for Default Logics.	J. Appl. Non Class. Logics	1996	DBLP DOI BibTeX RDF
16	Ricardo Caferra	Review of Witold Marciszewski and Roman Murawski: Mechanization of Reasoning in a Historical Perspective.	J. Appl. Non Class. Logics	1996	DBLP DOI BibTeX RDF
16	Anne Preller	The Universe of Discourse of Modal Logic.	J. Appl. Non Class. Logics	1996	DBLP DOI BibTeX RDF
16	Phan Minh Dung, Chandrabose Aravindan	Knowledge base dynamics, Abduction and Databases updates.	J. Appl. Non Class. Logics	1995	DBLP DOI BibTeX RDF
16	Jan A. Bergstra, Inge Bethke, Piet Rodenburg	A propositional logic with 4 values: true, false, divergent and meaningless.	J. Appl. Non Class. Logics	1995	DBLP DOI BibTeX RDF
16	José Júlio Alferes, Luís Moniz Pereira	Belief, Provability, and Logic Programs.	J. Appl. Non Class. Logics	1995	DBLP DOI BibTeX RDF
16	Joeri Engelfriet, Jan Treur	Temporal Theories of Reasoning.	J. Appl. Non Class. Logics	1995	DBLP DOI BibTeX RDF
16	Franz Baader, Hans Jürgen Ohlbach	A Multi-Dimensional Terminological Knowledge Representation Language.	J. Appl. Non Class. Logics	1995	DBLP DOI BibTeX RDF
16	Joeri Engelfriet, Jan Treur	Temporal Theories of Reasoning.	J. Appl. Non Class. Logics	1995	DBLP DOI BibTeX RDF
16	Gabriel Aguilera 0001, Inman P. de Guzmán, Manuel Ojeda-Aciego	Increasing the efficiency of automated theorem proving.	J. Appl. Non Class. Logics	1995	DBLP DOI BibTeX RDF
16	Alexej P. Pynko	On Priest's logic of paradox.	J. Appl. Non Class. Logics	1995	DBLP DOI BibTeX RDF
16	Stéphane Demri	Uniform and Non Uniform Strategies for Tableaux Calculi for Modal Logics.	J. Appl. Non Class. Logics	1995	DBLP DOI BibTeX RDF
16	Heinrich Herre	Generalized Compactness of Nonmonotonic Inference Operations.	J. Appl. Non Class. Logics	1995	DBLP DOI BibTeX RDF
16	Mihir K. Chakraborty	Graded Consequence: Further Studies.	J. Appl. Non Class. Logics	1995	DBLP DOI BibTeX RDF
16	Jacek Marciniec, Adam Mickiewicz	Learning Categorial Grammar by Unification with Negative Constraints.	J. Appl. Non Class. Logics	1994	DBLP DOI BibTeX RDF
16	Petr Hájek 0001, Richard Zach	Review of Leonard Bolc and Piotr Borowik: Many-valued Logics: 1. Theoretical Foundations.	J. Appl. Non Class. Logics	1994	DBLP DOI BibTeX RDF
16	Andrzej Szalas	On an Automated Translation of Modal Proof Rules into Formulas of the Classical Logic.	J. Appl. Non Class. Logics	1994	DBLP DOI BibTeX RDF
16	Robin Hirsch	From points to intervals.	J. Appl. Non Class. Logics	1994	DBLP DOI BibTeX RDF
16	Sam Steel	Actions on belief.	J. Appl. Non Class. Logics	1994	DBLP DOI BibTeX RDF
16	Philippe Balbiani, Andreas Herzig	A translation from the modal logic of provability into K4.	J. Appl. Non Class. Logics	1994	DBLP DOI BibTeX RDF
16	Michael Freund	The W systems: between maximum entropy and minimal ranking.	J. Appl. Non Class. Logics	1994	DBLP DOI BibTeX RDF
16	Juan Luis Castro, Enric Trillas, Susana Cubillo	On consequence in approximate reasoning.	J. Appl. Non Class. Logics	1994	DBLP DOI BibTeX RDF
16	Ilkka Niemelä, Jussi Rintanen	On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning.	J. Appl. Non Class. Logics	1994	DBLP DOI BibTeX RDF
16	Karl Schlechta, David Makinson	Local and Global Metrics for the Semantics of Counterfactual Conditionals.	J. Appl. Non Class. Logics	1994	DBLP DOI BibTeX RDF
16	Enric Trillas, Susana Cubillo	On Monotonic Fuzzy Conditional.	J. Appl. Non Class. Logics	1994	DBLP DOI BibTeX RDF
16	Marta Cialdea	Herbrand style proof procedures for modal logic.	J. Appl. Non Class. Logics	1993	DBLP DOI BibTeX RDF
16	Pierre Siegel, Camilla Schwind	Modal logic based theory for non-monotonic reasoning.	J. Appl. Non Class. Logics	1993	DBLP DOI BibTeX RDF
16	Yuri Kaluzhny, Alexei Yu. Muravitsky	A knowledge representation based on the Belnap's four-valued logic.	J. Appl. Non Class. Logics	1993	DBLP DOI BibTeX RDF
16	Beata Konikowska	Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus.	J. Appl. Non Class. Logics	1993	DBLP DOI BibTeX RDF
16	André Fuhrmann	Observations on validity and conditionals in belief revision systems.	J. Appl. Non Class. Logics	1993	DBLP DOI BibTeX RDF
16	Josep Maria Font, Massoud Moussavi	Note on a six-valued extension of three-valued logic.	J. Appl. Non Class. Logics	1993	DBLP DOI BibTeX RDF
16	Dov M. Gabbay, Uwe Reyle	Computation with run time skolemisation (N-Prolog part 3).	J. Appl. Non Class. Logics	1993	DBLP DOI BibTeX RDF
16	Javier Leach, Susana Nieva	Foundations of a theorem prover for functional and mathematical uses.	J. Appl. Non Class. Logics	1993	DBLP DOI BibTeX RDF
16	Ewa Orlowska	Dynamic logic with program specifications and its relational proof system.	J. Appl. Non Class. Logics	1993	DBLP DOI BibTeX RDF
16	Gerson Zaverucha	Relevant logic as a basis for paraconsistent epistemic logics.	J. Appl. Non Class. Logics	1992	DBLP DOI BibTeX RDF
16	Walter Alexandre Carnielli, Mamede Lima-Marques	Reasoning under Inconsistent Knowledge.	J. Appl. Non Class. Logics	1992	DBLP BibTeX RDF
16	Stephan Merz	Decidability and incompleteness results for first-order temporal logics of linear time.	J. Appl. Non Class. Logics	1992	DBLP DOI BibTeX RDF
16	Patrick Doherty 0001, Witold Lukaszewicz	NML3. A Non-Monotonic Logic with Explicit Defaults.	J. Appl. Non Class. Logics	1992	DBLP BibTeX RDF
16	Bernd-Holger Schlingloff	Expressive completeness of temporal logic of trees.	J. Appl. Non Class. Logics	1992	DBLP DOI BibTeX RDF
16	Wiebe van der Hoek	On the Semantics of Graded Modalities.	J. Appl. Non Class. Logics	1992	DBLP BibTeX RDF
16	Alfredo Burrieza, Inman P. de Guzmán	A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time.	J. Appl. Non Class. Logics	1992	DBLP DOI BibTeX RDF
16	Chris Brink	A comment on relevant truth table logic.	J. Appl. Non Class. Logics	1992	DBLP DOI BibTeX RDF
16	Marcelo Finger	Handling database updates in two-dimensional temporal logic.	J. Appl. Non Class. Logics	1992	DBLP DOI BibTeX RDF
16	Tanveer Fathima Syeda-Mahmood, Fei Wang 0002, David Beymer	Recognition of object categories using affine kernels.	Multimedia Information Retrieval	2010	DBLP DOI BibTeX RDF	affine kernels, class categorization, object recognition, image retrieval, image indexing, object categorization
16	Yan Liang	Toward automatic artifact matching for tool evaluation.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF	class matching model, reverse engineering, tool evaluation
16	Jinfu Liu, Qinghua Hu, Daren Yu	Weighted Rough Set Learning: Towards a Subjective Approach.	PAKDD	2007	DBLP DOI BibTeX RDF	weighted rough set, cost-sensitive learning, rule extraction, knowledge reduction, class imbalance learning
16	Alberto L. Morán, Carmen Perez, Marcela Rodríguez	InClass-RTD: Providing Support for Real-Time Threaded Discussions in the Classroom.	CRIWG	2006	DBLP DOI BibTeX RDF	InClass-RTD, Real-time threaded discussions, In-class requested and spontaneous interactions, CSCL
16	Thomas Stibor, Philipp H. Mohr, Jonathan Timmis, Claudia Eckert 0001	Is negative selection appropriate for anomaly detection?	GECCO	2005	DBLP DOI BibTeX RDF	positive selection, anomaly detection, artificial immune systems, negative selection, one-class SVM
16	Elisavet Konstantinou, Aristides Kontogeorgis, Yannis C. Stamatiou, Christos D. Zaroliagis	Generating Prime Order Elliptic Curves: Difficulties and Efficiency Considerations.	ICISC	2004	DBLP DOI BibTeX RDF	Generation of Prime Order Elliptic Curves, Class Field Polynomials, Elliptic Curve Cryptosystems, Complex Multiplication
16	Chi-Wai Fung, Elvis Wai Chung Leung, Qing Li 0001	Efficient Query Execution Techniques in a 4DIS Video Database System for eLearning.	Multim. Tools Appl.	2003	DBLP DOI BibTeX RDF	multimedia eLearning video database system, four-dimensional information space (4DIS), vertical class partitioning, temporal semantics
16	Gabriela Arévalo, Stéphane Ducasse, Oscar Nierstrasz	XRay Views: Understanding the Internals of Classes.	ASE	2003	DBLP DOI BibTeX RDF	Class Understanding, Logical Views, Concept Analysis
16	Jun Wang 0011, Klara Nahrstedt	Hop-by-hop routing algorithms for premium traffic.	Comput. Commun. Rev.	2002	DBLP DOI BibTeX RDF	hop-by-hop routing, premium class, saturate bandwidth, differentiated service
16	Yee Leung, Jiang-Hong Ma, Wen-Xiu Zhang	A New Method for Mining Regression Classes in Large Data Sets.	IEEE Trans. Pattern Anal. Mach. Intell.	2001	DBLP DOI BibTeX RDF	RCMD method, regression class, genetic algorithm, Data mining, robustness, mixture modeling, maximum likelihood method
16	Marcela Genero, José A. Olivas, Mario Piattini, Francisco P. Romero 0001	Using Metrics to Predict OO Information Systems Maintainability.	CAiSE	2001	DBLP DOI BibTeX RDF	object oriented information systems maintainability, class diagrams complexity, fuzzy deformable prototypes, UML, prediction models, object oriented metrics
16	Chun Hung Cheng 0001, Jian Tang 0001, Ada Wai-Chee Fu, Irwin King	Hierarchical Classification of Documents with Error Control.	PAKDD	2001	DBLP DOI BibTeX RDF	Hierarchical document classification, naive Bayesian classifier, class taxonomy, parallel algorithm, error control
16	Bor-Yuan Tsai, Simon Stobart, Norman Parrington, Ian Mitchell 0004	An Automatic Test Case Generator Derived from State-Based Testing.	APSEC	1998	DBLP DOI BibTeX RDF	State Machines, Test Cases Generator, State-Based Testing, Class Testing
16	Soonmi Lee, Hae Chull Lim	Attribute Partitioning Algorithm in DOODB.	ICPADS	1997	DBLP DOI BibTeX RDF	Distributed Object-Oriented Databases, Class Fragment, Attribute Fragment, Method Fragment, Fragmentation, Vertical Partitioning
16	In Hwan Doh, Young Jin Kim, Jung Soo Park, Eunsam Kim, Jongmoo Choi, Donghee Lee 0001, Sam H. Noh	Towards greener data centers with storage class memory: minimizing idle power waste through coarse-grain management in fine-grain scale.	Conf. Computing Frontiers	2010	DBLP DOI BibTeX RDF	non-volatile ram (nvram), storage class memory (scm), power management, servers
16	Daan Leijen	Flexible types: robust type inference for first-class polymorphism.	POPL	2009	DBLP DOI BibTeX RDF	first-class polymorphism, system f, mlf
16	Rong Pan, Martin Scholz	Mind the gaps: weighting the unknown in large-scale one-class collaborative filtering.	KDD	2009	DBLP DOI BibTeX RDF	one-class, collaborative filtering, large-scale
16	Zheng Sun, Xiaoguang Zhang 0004, Dianxu Ruan, Guiyun Xu	A Maximum Class Distance Support Vector Machine-Based Algorithm for Recursive Dimension Reduction.	ISNN (2)	2009	DBLP DOI BibTeX RDF	Maximum class distance, Recursive dimension reduction, SVM
16	Alexandre R. J. François	Class-wide projects: fostering collaboration and creativity in computer science courses.	Creativity & Cognition	2009	DBLP DOI BibTeX RDF	class-wide project, collaboration, creativity
16	Rosa Donat, Pep Mulet	Characteristic-Based Schemes for Multi-Class Lighthill-Whitham-Richards Traffic Models.	J. Sci. Comput.	2008	DBLP DOI BibTeX RDF	Multi-class Lighthill Whitham Richards traffic model, High resolution shock capturing schemes, Finite-difference WENO schemes, Adaptive mesh refinement
16	Shuming Shi 0001, Xiaokang Liu, Ji-Rong Wen	Pattern-based semantic class discovery with multi-membership support.	CIKM	2008	DBLP DOI BibTeX RDF	lexical semantic relationship, semantic class, noise-tolerance
16	Lan Anh Tran	A UML Model of the Client Tracking System at the Learning Enrichment Foundation in Toronto, Canada: A Study of Class, Object, and State Diagrams.	WSKS (1)	2008	DBLP DOI BibTeX RDF	Client Tracking System, Class diagram, UML Model, State diagram, Object Diagram