τε2asp : Implementing $\mathcal{TE}$ via Answer Set Programming (English)
- New search for: Wan, Hai
- New search for: Ma, Yu
- New search for: Xiao, Zhanhao
- New search for: Shen, Yuping
- New search for: Wan, Hai
- New search for: Ma, Yu
- New search for: Xiao, Zhanhao
- New search for: Shen, Yuping
In:
PRICAI 2012: Trends in Artificial Intelligence
3
;
820-825
;
2012
- Article/Chapter (Book) / Electronic Resource
-
Title:τε2asp : Implementing $\mathcal{TE}$ via Answer Set Programming
-
Contributors:
-
Published in:PRICAI 2012: Trends in Artificial Intelligence , 3 ; 820-825Lecture Notes in Computer Science ; 7458, 3 ; 820-825
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:2012-01-01
-
Size:6 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Systems Biology Powered by Artificial IntelligenceKitano, Hiroaki et al. | 2012
- 2
-
Preference Reasoning and Aggregation: Between AI and Social ChoiceRossi, Francesca et al. | 2012
- 3
-
Economical Operation of Thermal Generating Units Integrated with Smart HousesChakraborty, Shantanu / Ito, Takayuki / Senjyu, Tomonobu et al. | 2012
- 15
-
Concept Learning for $\ensuremath{\ensuremath{\cal E}\ensuremath{\cal L}^{++}}$ by Refinement and ReinforcementChitsaz, Mahsa / Wang, Kewen / Blumenstein, Michael / Qi, Guilin et al. | 2012
- 27
-
Hierarchical Training of Multiple SVMs for Personalized Web FilteringErdmann, Maike / Nguyen, Duc Dung / Takeyoshi, Tomoya / Hattori, Gen / Matsumoto, Kazunori / Ono, Chihiro et al. | 2012
- 40
-
Citation Based Summarisation of Legal TextsGalgani, Filippo / Compton, Paul / Hoffmann, Achim et al. | 2012
- 53
-
A Novel Video Face Clustering Algorithm Based on Divide and Conquer StrategyGou, Gaopeng / Huang, Di / Wang, Yunhong et al. | 2012
- 64
-
A Hybrid Local Feature for Face RecognitionGou, Gaopeng / Huang, Di / Wang, Yunhong et al. | 2012
- 76
-
Ontology Querying Support in Semantic Annotation ProcessGrčar, Miha / Podpečan, Vid / Sluban, Borut / Mozetič, Igor et al. | 2012
- 88
-
Learning to Achieve Socially Optimal Solutions in General-Sum GamesHao, Jianye / Leung, Ho-fung et al. | 2012
- 100
-
Incorporating Fairness into Agent Interactions Modeled as Two-Player Normal-Form GamesHao, Jianye / Leung, Ho-fung et al. | 2012
- 112
-
Semi-Supervised Discriminatively Regularized Classifier with Pairwise ConstraintsHuang, Jijian / Xue, Hui / Zhai, Yuqing et al. | 2012
- 124
-
Outdoor Situation Recognition Using Support Vector Machine for the Blind and the Visually ImpairedHwang, Jihye / Kim, Kyung-tai / Kim, Eun Yi et al. | 2012
- 133
-
Mining Rules for Rewriting States in a Transition-Based Dependency ParserInokuchi, Akihiro / Yamaoka, Ayumu / Washio, Takashi / Matsumoto, Yuji / Asahara, Masayuki / Iwatate, Masakazu / Kazawa, Hideto et al. | 2012
- 146
-
The Comparison of Stigmergy Strategies for Decentralized Traffic Congestion Control: Preliminary ResultsIto, Takayuki / Kanamori, Ryo / Takahashi, Jun / Maestre, Iván Marsa / Hoz, Enrique et al. | 2012
- 157
-
Life-Logging of Wheelchair Driving on Web Maps for Visualizing Potential Accidents and IncidentsIwasawa, Yusuke / Yairi, Ikuko Eguchi et al. | 2012
- 170
-
Texture Feature Extraction Based on Fractional Mask Convolution with Cesáro Means for Content-Based Image RetrievalJalab, Hamid A. / Ibrahim, Rabha W. et al. | 2012
- 180
-
Possibilistic Reasoning in Multi-Context Systems: Preliminary ReportJin, Yifan / Wang, Kewen / Wen, Lian et al. | 2012
- 194
-
A Two-Step Zero Pronoun Resolution by Reducing Candidate CardinalityKim, Kye-Sung / Choi, Su-Jeong / Park, Seong-Bae / Lee, Sang-Jo et al. | 2012
- 206
-
Hybrid Techniques to Address Cold Start Problems for People to People Recommendation in Social NetworksKim, Yang Sok / Krzywicki, Alfred / Wobcke, Wayne / Mahidadia, Ashesh / Compton, Paul / Cai, Xiongcai / Bain, Michael et al. | 2012
- 218
-
An Improved Particle Swarm Optimisation for Image Segmentation of Homogeneous ImagesLai, Weng Kin / Khan, Imran M. et al. | 2012
- 229
-
A Regression-Based Approach for Improving the Association Rule Mining through Predicting the Number of Rules on General DatasetsLe, Dien Tuan / Ren, Fenghui / Zhang, Minjie et al. | 2012
- 241
-
A Real-Time, Multimodal, and Dimensional Affect Recognition SystemLee, Nicole Nielsen / Cu, Jocelynn / Suarez, Merlin Teodosia et al. | 2012
- 250
-
Representing Reach-to-Grasp Trajectories Using Perturbed Goal Motor StatesLee-Hand, Jeremy / Neumegen, Tim / Knott, Alistair et al. | 2012
- 262
-
TSX: A Novel Symbolic Representation for Financial Time SeriesLi, Guiling / Zhang, Liping / Yang, Linquan et al. | 2012
- 274
-
Genetic-Optimized Classifier Ensemble for Cortisol Salivary Measurement Mapping to Electrocardiogram Features for Stress EvaluationLoo, Chu Kiong / Cheong, Soon Fatt / Seldon, Margaret A. / Mand, Ali Afzalian / Muthu, Kalaiarasi Sonai / Liew, Wei Shiung / Lim, Einly et al. | 2012
- 285
-
Information Bottleneck with Local ConsistencyLou, Zhengzheng / Ye, Yangdong / Zhu, Zhenfeng et al. | 2012
- 297
-
A D-S Theory Based AHP Decision Making Approach with Ambiguous Evaluations of Multiple CriteriaMa, Wenjun / Xiong, Wei / Luo, Xudong et al. | 2012
- 312
-
Synthesizing Image Representations of Linguistic and Topological Features for Predicting Areas of AttentionMartínez-Gómez, Pascual / Hara, Tadayoshi / Chen, Chen / Tomita, Kyohei / Kano, Yoshinobu / Aizawa, Akiko et al. | 2012
- 324
-
Stigmergic Modeling for Web Service Composition and AdaptationMoustafa, Ahmed / Zhang, Minjie / Bai, Quan et al. | 2012
- 335
-
Recognizing Human Gender in Computer Vision: A SurveyNg, Choon Boon / Tay, Yong Haur / Goi, Bok-Min et al. | 2012
- 347
-
Web-Based Mathematics Testing with Automatic AssessmentNguyen, Minh Luan / Hui, Siu Cheung / Fong, Alvis C. M. et al. | 2012
- 359
-
Content-Based Collaborative Filtering for Question Difficulty CalibrationNguyen, Minh Luan / Hui, Siu Cheung / Fong, Alvis C. M. et al. | 2012
- 372
-
Natural Language Opinion Search on BlogsOrimaye, Sylvester Olubolu / Alhashmi, Saadat M. / Siew, Eu-Gene et al. | 2012
- 386
-
Buy It - Don’t Buy It: Sentiment Classification on Amazon Reviews Using Sentence Polarity ShiftOrimaye, Sylvester Olubolu / Alhashmi, Saadat M. / Siew, Eu-Gene et al. | 2012
- 400
-
Generation of Chord Progression Using Harmony Search Algorithm for a Constructive Adaptive User InterfaceOtani, Noriko / Tadokoro, Katsutoshi / Kurihara, Satoshi / Numao, Masayuki et al. | 2012
- 411
-
A Local Distribution Net for Data ClusteringOuyang, Qiubao / Shen, Furao / Zhao, Jinxi et al. | 2012
- 423
-
Improving Multi-label Classification Using Semi-supervised Learning and Dimensionality ReductionPacharawongsakda, Eakasit / Nattee, Cholwich / Theeramunkong, Thanaruk et al. | 2012
- 435
-
Generic Multi-Document Summarization Using Topic-Oriented InformationPei, Yulong / Yin, Wenpeng / Huang, Lian’en et al. | 2012
- 447
-
Intelligent Ethical Wealth Planner: A Multi-agent ApproachWai San, Phang / Li Im, Tan / Anthony, Patricia et al. | 2012
- 458
-
Scalable Text Classification with Sparse Generative ModelingPuurula, Antti et al. | 2012
- 470
-
UPM-3D Facial Expression Recognition Database(UPM-3DFE)Habibu, Rabiu / Syamsiah, Mashohor / Hamiruce, Marhaban Mohammad / Iqbal, Saripan M. et al. | 2012
- 480
-
Probabilistic Reasoning in DL-LiteRamachandran, Raghav / Qi, Guilin / Wang, Kewen / Wang, Junhu / Thornton, John et al. | 2012
- 492
-
A Semantics Driven User Interface for Virtual SaarlouisRichards, Deborah / Warwas, Stefan et al. | 2012
- 504
-
Fuzzified Game Tree Search – Precision vs SpeedRutko, Dmitrijs et al. | 2012
- 516
-
Processing Incomplete Temporal Information in Controlled Natural LanguageSchwitter, Rolf et al. | 2012
- 528
-
Opinion Target Extraction for Short CommentsShang, Lin / Wang, Haipeng / Dai, Xinyu / Zhang, Mengjie et al. | 2012
- 540
-
Managing the Complexity of Large-Scale Agent-Based Social Diffusion Models with Different Network TopologiesSharpanskykh, Alexei et al. | 2012
- 552
-
Building Detection with Loosely-Coupled Hybrid Feature DescriptorsTan, Sieow Yeek / Bong, Chin Wei / Lukose, Dickson et al. | 2012
- 564
-
Towards Optimal Cooperative Path Planning in Hard Setups through Satisfiability SolvingSurynek, Pavel et al. | 2012
- 577
-
A New Algorithm for Multilevel Optimization Problems Using Evolutionary Strategy, Inspired by Natural AdaptationTilahun, Surafel Luleseged / Kassa, Semu Mitiku / Ong, Hong Choon et al. | 2012
- 589
-
Hamming Selection Pruned Sets (HSPS) for Efficient Multi-label Video ClassificationTang, Tiong Yew / Alhashmi, Saadat M. / Hisham Jaward, Mohamed et al. | 2012
- 601
-
Hierarchical Workflow Management in Wireless Sensor NetworkTong, Endong / Niu, Wenjia / Li, Gang / Tang, Hui / Tang, Ding / Ci, Song et al. | 2012
- 613
-
Multimodal Biometric Person Authentication Using Fingerprint, Face FeaturesLong, Tran Binh / Thai, Le Hoang / Hanh, Tran et al. | 2012
- 625
-
Explaining Subgroups through OntologiesVavpetič, Anže / Podpečan, Vid / Meganck, Stijn / Lavrač, Nada et al. | 2012
- 637
-
Automatic Keyword Extraction from Single-Sentence Natural Language QueriesWang, David X. / Gao, Xiaoying / Andreae, Peter et al. | 2012
- 649
-
Model Combination for Support Vector Regression via Regularization PathWang, Mei / Liao, Shizhong et al. | 2012
- 661
-
Subspace Regularized Linear Discriminant Analysis for Small Sample Size ProblemsWang, Zhidong / Yang, Wuyi et al. | 2012
- 673
-
A Particle Swarm Optimisation Based Multi-objective Filter Approach to Feature Selection for ClassificationXue, Bing / Cervante, Liam / Shang, Lin / Zhang, Mengjie et al. | 2012
- 686
-
Exploiting Independent Relationships in Multiagent Systems for Coordinated LearningYu, Chao / Zhang, Minjie / Ren, Fenghui et al. | 2012
- 698
-
A Model of Intention with (Un)Conditional CommitmentsZhang, Dongmo et al. | 2012
- 710
-
Group Polarization: Connecting, Influence and Balance, a Simulation Study Based on Hopfield ModelingLi, Zhenpeng / Tang, Xijin et al. | 2012
- 722
-
Combined Optimal Wavelet Filters with Morphological Watershed Transform for the Segmentation of Dermoscopic Skin LesionsAhmed Abbas, Alaa / Tan, Wooi-Haw / Guo, Xiao-Ning et al. | 2012
- 728
-
Predicting Academic Emotions Based on Brainwaves, Mouse Behaviour and Personality ProfileAzcarraga, Judith / Suarez, Merlin Teodosia et al. | 2012
- 734
-
Extraction of Chinese Multiword Expressions Based on Artificial Neural Network with FeedbacksFu, Yiwen / Ge, Naisheng / Zheng, Zhongguang / Zhang, Shu / Meng, Yao / Yu, Hao et al. | 2012
- 740
-
Intelligent Situation Awareness on the EYECANEHwang, Jihye / Ji, Yeounggwang / Kim, Eun Yi et al. | 2012
- 746
-
The Use of Sound Symbolism in Sentiment ClassificationIgarashi, Takuma / Sasano, Ryohei / Takamura, Hiroya / Okumura, Manabu et al. | 2012
- 753
-
Enhancing Malay Stemming Algorithm with Background KnowledgeLeong, Leow Ching / Basri, Surayaini / Alfred, Rayner et al. | 2012
- 759
-
Using Tagged and Untagged Corpora to Improve Thai Morphological Analysis with Unknown Word Boundary DetectionsLuangpiensamut, Wimvipa / Komiya, Kanako / Kotani, Yoshiyuki et al. | 2012
- 765
-
Image Retrieval Using Most Similar Highest Priority Principle Based on Fusion of Colour and Texture FeaturesMahdi, Fatin A. / Ahmad Fauzi, Mohammad Faizal / Ahmad, Nurul Nadia et al. | 2012
- 771
-
Computational Intelligence for Human Interactive Communication of Robot PartnersMasuyama, Naoki / Chan, Chee Seng / Kuobota, Naoyuki / Woo, Jinseok et al. | 2012
- 777
-
Healthy or Harmful? Polarity Analysis Applied to Biomedical Entity RelationshipsMiao, Qingliang / Zhang, Shu / Meng, Yao / Fu, Yiwen / Yu, Hao et al. | 2012
- 783
-
Semi-automatic Segmentation of 3D Point Clouds Skeleton without Explicit Computation for Critical PointsNg, Kok-Why / Junaidi, Abdullah / Ng, Sew-Lai et al. | 2012
- 789
-
Implementation of Automatic Nutrient Calculation System for Cooking Recipes Based on Text AnalysisTakahashi, Jun / Ueda, Tsuguya / Nishikawa, Chika / Ito, Takayuki / Nagai, Akihiko et al. | 2012
- 795
-
A Feature Space Alignment Learning AlgorithmTan, Chao / Guan, Jihong et al. | 2012
- 801
-
An Evolutionary Multi-objective Optimization Approach to Computer Go Controller SynthesisTan, Kar Bin / Teo, Jason / Chin, Kim On / Anthony, Patricia et al. | 2012
- 807
-
Mining Frequent Itemsets with Dualistic ConstraintsTran, Anh / Duong, Hai / Truong, Tin / Le, Bac et al. | 2012
- 814
-
Extraction of Semantic Relation Based on Feature Vector from WikipediaVo, Duc-Thuan / Ock, Cheol-Young et al. | 2012
- 820
-
τε2asp : Implementing $\mathcal{TE}$ via Answer Set ProgrammingWan, Hai / Ma, Yu / Xiao, Zhanhao / Shen, Yuping et al. | 2012
- 826
-
Investigating Individual Decision Making Patterns in Games Using Growing Self Organizing MapsWickramasinghe, Manjusri / Rajapakse, Jayantha / Alahakoon, Damminda et al. | 2012
- 832
-
Automatic Multi-document Summarization Based on New Sentence Similarity MeasuresYin, Wenpeng / Pei, Yulong / Huang, Lian’en et al. | 2012
- 838
-
Using Common-Sense Knowledge in Generating StoriesYu, Sherie / Ong, Ethel et al. | 2012
- 844
-
Context-Based Interaction Design for Smart HomesZainol, Zuraini / Nakata, Keiichi et al. | 2012
- 850
-
A Visual Approach for Classification Based on Data ProjectionZhang, Ke-Bing / Orgun, Mehmet A. / Shankaran, Rajan / Zhang, Du et al. | 2012
- 857
-
On Modelling Emotional Responses to Rhythm FeaturesCu, Jocelynn / Cabredo, Rafael / Legaspi, Roberto / Suarez, Merlin Teodosia et al. | 2012
- 861
-
Harnessing Wikipedia Semantics for Computing Contextual RelatednessJabeen, Shahida / Gao, Xiaoying / Andreae, Peter et al. | 2012
- 866
-
Chinese Morphological Analysis Using Morpheme and Character FeaturesKomiya, Kanako / Hou, Haixia / Shibahara, Kazutomo / Fujimoto, Koji / Kotani, Yoshiyuki et al. | 2012
- 870
-
An Improved Recommender Based on Hidden Markov ModelLi, Jialing / Li, Li / Wu, Yuheng / Chen, Shangxiong et al. | 2012
- 875
-
Event Recognition in Parking Lot Surveillance SystemNg, Lih Lin / Chua, Hong Siang et al. | 2012
- 879
-
Heuristics- and Statistics-Based WikificationNguyen, Hien T. / Cao, Tru H. / Nguyen, Trong T. / Vo-Thi, Thuy-Linh et al. | 2012
- 883
-
Identification and Visualisation of Pattern Migrations in Big Network DataNohuddin, Puteri N. E. / Coenen, Frans / Christley, Rob / Sunayama, Wataru et al. | 2012
- 887
-
Improving Top-N Recommendations with User Consuming ProfilesRen, Yongli / Li, Gang / Zhou, Wanlei et al. | 2012
- 891
-
Towards Providing Music for Academic and Leisurely Activities of Computer UsersAquino, Roman Joseph / Battad, Joshua Rafael / Ngo, Charlene Frances / Uy, Gemilene / Trogo, Rhia / Legaspi, Roberto / Suarez, Merlin Teodosia et al. | 2012
- 895
-
Overlapping Community Discovery via Weighted Line Graphs of NetworksYoshida, Tetsuya et al. | 2012
- 899
-
Community Structure Based Node Scores for Network ImmunizationYoshida, Tetsuya / Yamada, Yuu et al. | 2012