Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
10 | Ulrich Höhle, Tomasz Kubiak |
Approximating Orders in Meet-Continuous Lattices and Regularity Axioms in Many Valued Topology. |
Order |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 06B23, 54A40, 54D10 |
10 | Jiye Liang, Yuhua Qian |
Information granules and entropy theory in information systems. |
Sci. China Ser. F Inf. Sci. |
2008 |
DBLP DOI BibTeX RDF |
rough set, information systems, entropy, information granule, information granulation |
10 | Wojciech Buszkowski, Ewa Palka |
Infinitary Action Logic: Complexity, Models and Grammars. |
Stud Logica |
2008 |
DBLP DOI BibTeX RDF |
action algebra, relation algebra, Kleene algebra, categorial grammar |
10 | Gerhard Schurz, Hannes Leitgeb |
Finitistic and Frequentistic Approximation of Probability Measures with or without sigma-Additivity. |
Stud Logica |
2008 |
DBLP DOI BibTeX RDF |
finite additivity, ?-additivity, frequency theory, finitistic approximation, Probability |
10 | Andrea Mesiarová-Zemánková |
Semi-divisible triangular norms. |
Soft Comput. |
2008 |
DBLP DOI BibTeX RDF |
Residual implication, Ordinal sum, Triangular norm |
10 | Petr Hájek 0001, Radko Mesiar |
On copulas, quasicopulas and fuzzy logic. |
Soft Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Joey Sik Chun Lam, Derek H. Sleeman, Jeff Z. Pan, Wamberto Weber Vasconcelos |
A Fine-Grained Approach to Resolving Unsatisfiable Ontologies. |
J. Data Semantics |
2008 |
DBLP DOI BibTeX RDF |
Description Logics reasoning, Ontologies |
10 | Christian Urban |
Nominal Techniques in Isabelle/HOL. |
J. Autom. Reason. |
2008 |
DBLP DOI BibTeX RDF |
Nominal logic work, Lambda-calculus, Theorem provers |
10 | Balasubramaniam Jayaram |
On the Law of Importation (x wedge y) longrightarrow z equiv (x longrightarrow (y longrightarrow z)) in Fuzzy Logic. |
IEEE Trans. Fuzzy Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Arthur W. Apter, Peter Koepke |
Making all cardinals almost Ramsey. |
Arch. Math. Log. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 03E02, 03E25, 03E55, 03E35, 03E45 |
10 | Fabrizio Caruso, Jacopo D'Aurizio, Alasdair McAndrew |
Efficient Finite Fields in the Maxima Computer Algebra System. |
WAIFI |
2008 |
DBLP DOI BibTeX RDF |
modular roots, Maxima, finite fields, primitive element |
10 | Yasuo Kawahara, Michael Winter 0001 |
Cardinality in Allegories. |
RelMiCS |
2008 |
DBLP DOI BibTeX RDF |
|
10 | John C. Reynolds |
Readable Formal Proofs. |
VSTTE |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Rastislav Bodík |
Software synthesis with sketching. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
synthesis |
10 | Anya Helene Bagge, Valentin David, Magne Haveraaen |
Testing with concepts and axioms in C++. |
OOPSLA Companion |
2008 |
DBLP DOI BibTeX RDF |
C++, specifications, program transformation, test generation, generative programming, unit testing, concepts, axioms, mouldable programming, C++0x |
10 | Alireza Attar, Mohammad Reza Nakhai, A. Hamid Aghvami |
Cognitive Radio Game: A Framework for Efficiency, Fairness and QoS Guarantee. |
ICC |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Junehee Lee |
In-band mobile digital TV transmission technology for advanced television systems committee. |
ASP-DAC |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Arnon Avron |
A Framework for Formalizing Set Theories Based on the Use of Static Set Terms. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Jan A. Bergstra, Yoram Hirshfeld, John V. Tucker |
Fields, Meadows and Abstract Data Types. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Florian Schoppmann |
The Power of Small Coalitions in Cost Sharing. |
WINE |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Yih-Kuen Tsay, Bow-Yaw Wang |
Automated Compositional Reasoning of Intuitionistically Closed Regular Properties. |
CIAA |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Roman Kuznets |
Self-referentiality of Justified Knowledge. |
CSR |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Ulrich Furbach, Ingo Glöckner, Hermann Helbig, Björn Pelzer |
LogAnswer - A Deduction-Based Question Answering System (System Description). |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Josef Urban, Geoff Sutcliffe, Petr Pudlák, Jirí Vyskocil |
MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance. |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Franz Baader, Felix Distel |
A Finite Basis for the Set of EL-Implications Holding in a Finite Model. |
ICFCA |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Huo Yan Chen, Lin Tan, T. H. Tse |
A Scheme to Aid Construction of Left-Hand Sides of Axioms in Algebraic Specifications forObject-Oriented Program Testing. |
CSSE (2) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Jie Zhao, Guohua Zhan, Juan Feng |
Disputed Authorship in C Program Code after Detection of Plagiarism. |
CSSE (1) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Andrew Schumann |
Non-well-Founded Probabilities on Streams. |
SMPS |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Mikel Egaña, Alan L. Rector, Robert Stevens 0001, Erick Antezana |
Applying Ontology Design Patterns in Bio-ontologies. |
EKAW |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Yi Zhou 0013, Yan Zhang 0003 |
Rule Calculus: Semantics, Axioms and Applications. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Frédéric Fürst, Francky Trichet |
Ontology Matching Based on the Comparison of Axioms Represented with Conceptual Graphs. |
CISIS |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Péter L. Erdös, Lajos Soukup |
How To Split Antichains In Infinite Posets. |
Comb. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000): 06A07, 03E05 |
10 | Ronan Cummins, Colm O'Riordan |
An axiomatic comparison of learned term-weighting schemes in information retrieval: clarifications and extensions. |
Artif. Intell. Rev. |
2007 |
DBLP DOI BibTeX RDF |
Axiomatic constraints, Information retrieval, Genetic programming |
10 | Darrell P. Rowbottom |
The Insufficiency of the Dutch Book Argument. |
Stud Logica |
2007 |
DBLP DOI BibTeX RDF |
Dutch Book, probabilistic theories of rationality, subjective interpretation of probability, coherence, degrees of belief |
10 | Qing Liu 0011, Hui Sun |
The Impact of Rough Set Research in China: In Commemoration of Professor Zdzislaw Pawlak. |
Trans. Rough Sets |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Una-May O'Reilly, Martin Hemberg |
Integrating generative growth and evolutionary computation for form exploration. |
Genet. Program. Evolvable Mach. |
2007 |
DBLP DOI BibTeX RDF |
Architecture, L-systems, Evolutionary design, Grammatical evolution, Interactive evolutionary computation |
10 | Jean-Louis Krivine |
A call-by-name lambda-calculus machine. |
High. Order Symb. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Lambda-calculus machine, Control instruction, Curry-Howard correspondence |
10 | Thomas E. Forster, John Kenneth Truss |
Ramsey's theorem and König's Lemma. |
Arch. Math. Log. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 03E25 |
10 | Paul Corazza |
Lifting elementary embeddings j: Vlambda -> Vlambda. |
Arch. Math. Log. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) Primary 03E55, Secondary 03E40 |
10 | Luigi Santocanale, Yde Venema |
Completeness for Flat Modal Fixpoint Logics. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
fixpoint logic, completeness, modal algebra |
10 | Ikumi Horie, Kazunori Yamaguchi, Kenji Kashiwabara |
Pattern detection from web using AFA set theory. |
WIDM |
2007 |
DBLP DOI BibTeX RDF |
AFA, common substructure, non-well-founded set theory, link analysis, web graph |
10 | Jorma K. Mattila |
Possibility Based Modal Semantics for Graded Modifiers. |
IFSA (1) |
2007 |
DBLP DOI BibTeX RDF |
metalogic, Semantics of Modal Logic, Semantics of Modifier Logic, Modifier system, Modality, Modifier |
10 | Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra |
Propositional Goedel Logic and Delannoy Paths. |
FUZZ-IEEE |
2007 |
DBLP DOI BibTeX RDF |
|
10 | An Lu, Wilfred Ng |
Handling Inconsistency of Vague Relations with Functional Dependencies. |
ER |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Adam Megacz |
A coinductive monad for prop-bounded recursion. |
PLPV |
2007 |
DBLP DOI BibTeX RDF |
coinductive types, type theory |
10 | Lisa Allali |
Algorithmic Equality in Heyting Arithmetic Modulo. |
TYPES |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Vladimir Lifschitz, David Pearce 0001, Agustín Valverde |
A Characterization of Strong Equivalence for Logic Programs with Variables. |
LPNMR |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Fachao Li 0001, Chenxia Jin |
Fuzzy Genetic Algorithm Based on Principal Operation and Inequity Degree. |
ICIC (2) |
2007 |
DBLP DOI BibTeX RDF |
fuzzy inequity degree, principal index, BPO&ID-FGA, Markov chain, Fuzzy optimization, fuzzy genetic algorithm |
10 | Geoff Sutcliffe |
TPTP, TSTP, CASC, etc. |
CSR |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Tal Lev-Ami, Christoph Weidenbach, Thomas W. Reps, Mooly Sagiv |
Labelled Clauses. |
CADE |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Xuerui Tan, Julong Deng, Sifeng Liu, Hongxing Pan |
Multi-stratum medical grey relational theory and its application research. |
SMC |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Ryo Ishigaki, Kentaro Kikuchi |
Tree-Sequent Methods for Subintuitionistic Predicate Logics. |
TABLEAUX |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Shifei Ding, Zhongzhi Shi, Shixiong Xia, Fengxiang Jin |
Studies on Fuzzy Information Measures. |
FSKD (3) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Adrian Giurca, Gerd Wagner 0001 |
Rule Modeling and Interchange. |
SYNASC |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Ulf Johansson, Tuve Löfström, Lars Niklasson |
The Importance of Diversity in Neural Network Ensembles - An Empirical Investigation. |
IJCNN |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Rajeev Goré, Linh Anh Nguyen |
Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs. |
CLIMA |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Marc Aiguier, Delphine Longuet |
Test Selection Criteria for Modal Specifications of Reactive Systems. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
dynamic specifications, proof tree normalisation, Specification-based testing, unfolding, coalgebras, exhaustivity, selection criteria |
10 | Fairouz Kamareddine, Manuel Maarek, Krzysztof Retel, J. B. Wells |
Narrative Structure of Mathematical Texts. |
Calculemus/MKM |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Horacio L. Arló-Costa, Isaac Levi |
Contraction: On the Decision-Theoretical Origins of Minimal Change and Entrenchment. |
Synth. |
2006 |
DBLP DOI BibTeX RDF |
entrenchment, withdrawal, contraction, decision theory, belief revision |
10 | Agostino Dovier, Andrea Formisano 0001, Eugenio G. Omodeo |
Decidability results for sets with atoms. |
ACM Trans. Comput. Log. |
2006 |
DBLP DOI BibTeX RDF |
Prenex sentences, set-hyperset theories, syllogistics, unification, quantifier elimination, satisfiability problem |
10 | Stephen A. Cook, Neil Thapen |
The strength of replacement in weak arithmetic. |
ACM Trans. Comput. Log. |
2006 |
DBLP DOI BibTeX RDF |
cryptography, PV, Bounded arithmetic |
10 | Larisa Maksimova |
Projective Beth Property in Extensions of Grzegorczyk Logic. |
Stud Logica |
2006 |
DBLP DOI BibTeX RDF |
projective Beth's property, epimorphisms surjectivity, modal logic, decidability, intuitionistic logic |
10 | Wei-Zhi Wu 0001, Yee Leung, Wen-Xiu Zhang |
On Generalized Rough Fuzzy Approximation Operators. |
Trans. Rough Sets |
2006 |
DBLP DOI BibTeX RDF |
fuzzy topological spaces, rough sets, fuzzy sets, belief functions, binary relations, approximation operators, neighborhood systems, rough fuzzy sets |
10 | Douglas A. Hanes, Gin McCollum |
Variables Contributing to the Coordination of Rapid Eye/Head Gaze Shifts. |
Biol. Cybern. |
2006 |
DBLP DOI BibTeX RDF |
Gaze shift, Midline, Head-free, Mathematical, Saccade |
10 | Gregory R. Wheeler |
Rational Acceptance and Conjunctive/Disjunctive Absorption. |
J. Log. Lang. Inf. |
2006 |
DBLP DOI BibTeX RDF |
rational acceptance, the lottery paradox, System P, bounded uncertain reasoning, probabilistic logic |
10 | Jeffry L. Hirst |
Reverse mathematics of separably closed sets. |
Arch. Math. Log. |
2006 |
DBLP DOI BibTeX RDF |
Separably closed sets, Closed sets, ACA, Reverse mathematics |
10 | Pavel Naumov |
Upper bounds on complexity of Frege proofs with limited use of certain schemata. |
Arch. Math. Log. |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Jakob Kellner |
Preserving Non-null with Suslin+ Forcings. |
Arch. Math. Log. |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 03E40, 03E17 |
10 | Julien Narboux |
Mechanical Theorem Proving in Tarski's Geometry. |
Automated Deduction in Geometry |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Ernie Cohen |
Weak Kleene Algebra and Computation Trees. |
RelMiCS |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Jixin Ma 0001, Brian Knight |
Using Set Operations to Deal with the Frame Problem. |
IEEE ICCI |
2006 |
DBLP DOI BibTeX RDF |
|
10 | |
Formalization of Capability for Command-Based Agent. |
IEEE ICCI |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Shifei Ding, Zhongzhi Shi, Fengxiang Jin |
Studies on Fuzzy Information Measures. |
IEEE ICCI |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Jiandong Jiang, Fang Xu 0002, Xinrong Zhen, Xian Zhang, Yangyu Wang, Libin Zhang |
Axiomatic Design Using Ontology Modeling for Interoperability in Small Agriculture Machinery Product Development. |
PROLAMAT |
2006 |
DBLP DOI BibTeX RDF |
Small agricultural machinery, Axiomatic design, Ontology, Gearbox |
10 | Nikolai Tillmann, Feng Chen 0006, Wolfram Schulte |
Discovering Likely Method Specifications. |
ICFEM |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Dejing Dou, Drew V. McDermott |
Towards Theory Translation. |
DALT |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Stéphanie Delaune, Pascal Lafourcade 0001, Denis Lugiez, Ralf Treinen |
Symbolic Protocol Analysis in Presence of a Homomorphism Operator and Exclusive Or. |
ICALP (2) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Lawrence S. Moss |
Uniform Functors on Sets. |
Essays Dedicated to Joseph A. Goguen |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Healfdene Goguen, Conor McBride, James McKinna |
Eliminating Dependent Pattern Matching. |
Essays Dedicated to Joseph A. Goguen |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Ergün Eraslan, Diyar Akay, Mustafa Kurt |
Usability Ranking of Intercity Bus Passenger Seats Using Fuzzy Axiomatic Design Theory. |
CDVE |
2006 |
DBLP DOI BibTeX RDF |
Fuzzy Axiomatic Design, Usability, Conformance Testing, Cooperative Engineering |
10 | Wilfred Ng |
Preference Functional Dependencies for Managing Choices. |
ER |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Frédéric Fürst, Francky Trichet |
Heavyweight Ontology Engineering. |
OTM Workshops (1) |
2006 |
DBLP DOI BibTeX RDF |
Heavyweight Ontology, Graph-Based Techniques, Conceptual Graphs, Axioms, Ontology Matching, Ontology Evaluation |
10 | Aditya Kalyanpur, Bijan Parsia, Evren Sirin, Bernardo Cuenca Grau |
Repairing Unsatisfiable Concepts in OWL Ontologies. |
ESWC |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Florent Kirchner |
A Finite First-Order Theory of Classes. |
TYPES |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Danko Ilik |
Zermelo's Well-Ordering Theorem in Type Theory. |
TYPES |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Dung Nguyen Xuan, Ladjel Bellatreche, Guy Pierra |
A Versioning Management Model for Ontology-Based Data Warehouses. |
DaWaK |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Benjamin Werner |
On the Strength of Proof-Irrelevant Type Theories. |
IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Sebastian Link |
A Strongly Minimal Axiomatisation of Multivalued Dependencies in Incomplete Database Relations. |
DEXA Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Shan-Li Hu, Chun-Yi Shi |
A Multi-subset Possible World Semantics for Intention Operator of Agent. |
PRIMA |
2006 |
DBLP DOI BibTeX RDF |
multi-subset possible world semantics, Agent, semantics, intention |
10 | Adam Koprowski |
Certified Higher-Order Recursive Path Ordering. |
RTA |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Sik Chun Lam, Jeff Z. Pan, Derek H. Sleeman, Wamberto Weber Vasconcelos |
A Fine-Grained Approach to Resolving Unsatisfiable Ontologies. |
Web Intelligence |
2006 |
DBLP DOI BibTeX RDF |
|
10 | David E. Cardoze, Gary L. Miller, Todd Phillips |
Representing Topological Structures Using Cell-Chains. |
GMP |
2006 |
DBLP DOI BibTeX RDF |
cell tuple, cell chain, computational topology, cell complex |
10 | Jiye Liang, Yuhua Qian |
Axiomatic Approach of Knowledge Granulation in Information System. |
Australian Conference on Artificial Intelligence |
2006 |
DBLP DOI BibTeX RDF |
partial relation, knowledge granulation, Information system |
10 | Simon Colton, Pedro Torres 0001, Paul A. Cairns, Volker Sorge |
Managing Automatically Formed Mathematical Theories. |
MKM |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Benedikt Löwe |
A Global Wellordering of Norms Defined via Blackwell Games. |
Order |
2005 |
DBLP DOI BibTeX RDF |
Martin’s conjecture on the equivalence of determinancy and Blackwell determinancy, prewellorderings, imperfect information games, First Periodicity Theorem |
10 | He Wei |
Remarks on Completely Regular Lindelöf Reflection of Locales. |
Appl. Categorical Struct. |
2005 |
DBLP DOI BibTeX RDF |
completely regular Lindelöf reflection of locales, l-ring, real-valued continuous functions on locales, cozero sets |
10 | Tadeusz Litak, Frank Wolter |
All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete. |
Stud Logica |
2005 |
DBLP DOI BibTeX RDF |
frame incompleteness, computational complexity, temporal logic, NP-completeness, tense logic |
10 | Athanassios Tzouvaras |
Cardinality without Enumeration. |
Stud Logica |
2005 |
DBLP DOI BibTeX RDF |
Cardinality notion, wellordering, generic class, separation class, nonstandard model of arithmetic, choice, quantum mechanics |
10 | Witold A. Pogorzelski, Piotr Wojtylak |
A Proof System for Classical Logic. |
Stud Logica |
2005 |
DBLP DOI BibTeX RDF |
Inferential rule, Consequence operation, Classical logic |
10 | Torben Braüner |
Natural Deduction for First-Order Hybrid Logic. |
J. Log. Lang. Inf. |
2005 |
DBLP DOI BibTeX RDF |
First-order hybrid logic, first-order modal logic, natural deduction |