Automatic generation of production rules for integrity maintenance
ACM Transactions on Database Systems (TODS)
ABCD: eliminating array bounds checks on demand
PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
A logic-based approach for automatic synthesis and maintenance of web sites
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Easy Cases of Probabilistic Satisfiability
Annals of Mathematics and Artificial Intelligence
IEEE Transactions on Knowledge and Data Engineering
Directed Hypergraphs: Problems, Algorithmic Results, and a Novel Decremental Approach
ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science
Weighted deductive parsing and Knuth's algorithm
Computational Linguistics
On the orientation of graphs and hypergraphs
Discrete Applied Mathematics - Submodularity
Multi-cast ant colony system for the bus routing problem
Metaheuristics
The complexity of arc-colorings for directed hypergraphs
Discrete Applied Mathematics
New developments in parsing technology
Hierarchical hippocratic databases with minimal disclosure for virtual organizations
The VLDB Journal — The International Journal on Very Large Data Bases
Finding the K shortest hyperpaths
Computers and Operations Research
Visualizing SAT Instances and Runs of the DPLL Algorithm
Journal of Automated Reasoning
An algorithm for the appraisal of assurance indicators for complex business processes
Proceedings of the 2007 ACM workshop on Quality of protection
Computing the throughput of Concatenation State Machines
Journal of Discrete Algorithms
Deploying defeasible logic rule bases for the semantic web
Data & Knowledge Engineering
Semantics-based composition-oriented discovery of Web services
ACM Transactions on Internet Technology (TOIT)
Semiring Lattice Parsing Applied to CYK
IbPRIA '07 Proceedings of the 3rd Iberian conference on Pattern Recognition and Image Analysis, Part I
STRUCTURAL SIMILARITIES OF COMPLEX NETWORKS: A COMPUTATIONAL MODEL BY EXAMPLE OF WIKI GRAPHS
Applied Artificial Intelligence
The Max-Atom Problem and Its Relevance
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems
HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
Linear connectivity problems in directed hypergraphs
Theoretical Computer Science
Multimodal Networks: Structure and Operations
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Translation as weighted deduction
EACL '09 Proceedings of the 12th Conference of the European Chapter of the Association for Computational Linguistics
Factored A* search for models over sequences and trees
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Parsing '05 Proceedings of the Ninth International Workshop on Parsing Technology
Hard problems in max-algebra, control theory, hypergraphs and other areas
Information Processing Letters
EMNLP '09 Proceedings of the 2009 Conference on Empirical Methods in Natural Language Processing: Volume 1 - Volume 1
Compact representation of knowledge bases in ILP
ILP'02 Proceedings of the 12th international conference on Inductive logic programming
SAM: a semantic web service discovery system
KES'07/WIRN'07 Proceedings of the 11th international conference, KES 2007 and XVII Italian workshop on neural networks conference on Knowledge-based intelligent information and engineering systems: Part III
Rewriting systems for reachability in vector addition systems with pairs
RP'10 Proceedings of the 4th international conference on Reachability problems
HyperGraphDB: a generalized graph database
WAIM'10 Proceedings of the 2010 international conference on Web-age information management
Modeling Network Transition Constraints with Hypergraphs
Transportation Science
Modeling Network Transition Constraints with Hypergraphs
Transportation Science
Automated discovery of compositions of services described with separate ontologies
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Hypergraphs of multiparty secrets
Annals of Mathematics and Artificial Intelligence
Hypergraph-based multidimensional data modeling towards on-demand business analysis
Proceedings of the 13th International Conference on Information Integration and Web-based Applications and Services
Minimal disclosure in hierarchical hippocratic databases with delegation
ESORICS'05 Proceedings of the 10th European conference on Research in Computer Security
Complexity of linear connectivity problems in directed hypergraphs
FSTTCS'04 Proceedings of the 24th international conference on Foundations of Software Technology and Theoretical Computer Science
The Cartesian Product of Hypergraphs
Journal of Graph Theory
A simplex algorithm for a class of leontief flow problems
Mathematical and Computer Modelling: An International Journal
Finding the K shortest hyperpaths using reoptimization
Operations Research Letters
Source location in undirected and directed hypergraphs
Operations Research Letters
Structure theorems for optimum hyperpaths in directed hypergraphs
ISCO'12 Proceedings of the Second international conference on Combinatorial Optimization
Unsupervised concept-to-text generation with hypergraphs
NAACL HLT '12 Proceedings of the 2012 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies
Query-by-example approach towards on-demand multidimensional analysis
International Journal of Business Intelligence and Data Mining
Concept-to-text generation via discriminative reranking
ACL '12 Proceedings of the 50th Annual Meeting of the Association for Computational Linguistics: Long Papers - Volume 1
Maintaining motivation models (in BMM) in the context of a (WSDL-S) service landscape
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
Minimal external representations of tropical polyhedra
Journal of Combinatorial Theory Series A
Intuitionistic fuzzy shortest hyperpath in a network
Information Processing Letters
Enumeration approach to computing chemical equilibria
Theoretical Computer Science
SAT'13 Proceedings of the 16th international conference on Theory and Applications of Satisfiability Testing
Random walks in directed hypergraphs and application to semi-supervised image segmentation
Computer Vision and Image Understanding
A global model for concept-to-text generation
Journal of Artificial Intelligence Research
Hi-index | 0.00 |